Merge branch 'master' into bookmarks-history bookmarks-history
-rw-r--r-- 35142 COPYING
-rw-r--r-- 9444 ISSUES.org
-rw-r--r-- 3417 README
-rw-r--r-- 92378 elpher.el
-rw-r--r-- 26050 elpher.texi