.github .gitignore COPYING CREDITS DESIGN NEWS check.sh genhtml.sh test.el