github page init
remove gitignore
update config url
menu & filter
update
update
Merge branch 'master' into gh-pages
Merge branch 'master' into gh-pages
update
Merge branch 'master' into gh-pages
add juicy-html
Merge branch 'master' into gh-pages
Merge branch 'master' into gh-pages
Merge branch 'master' into gh-pages
Merge branch 'master' into gh-pages
Merge branch 'master' into gh-pages
Merge branch 'master' into gh-pages
regen.
add missing prelude-ls.