Bugfix: incorrect url for library contents on github