web page now refers to github
version 0.8.13