Final tweaks to developer pages, fix #107