Initial work
WIP
Add baseurl for hosting on GitHub Pages
fix a typo in blog posts
Added link to favicon
updated Jekyll and added pages from old site;
added search box;
style fixes
added recent changes
update GH pages to latest version
Use new jekyll-redirect-from gem that now works on GH pages
directly link to new page url in /old_site/
use site.github.url instead of baseurl
correct wrongly escaped </dd> and </dt>
replace hardcoded links with {{site.github.url}}
automatically retrieve latest release from GitHub
sync with recent changes to wiki
improved download page
fix links on download page
Added a few missing pages
Update TOC title
move images to /old_site/images