Summary of changes: fc037d1... import (*) a100dff... 4.7.95 (*) 862ba9d... 4.7.97 (*) 78e4d6c... 4.8.0 (*) 6862981... stable url snippet, .gitignore cleanup, http source url (*) feb3c14... 4.8.1 (*) (*) This commit already existed in another branch; no separate mail sent