The contents of github repository have evolved quite a bit, mostly in response to comments (making some of them a bit out-of-sync).