Tweak default dev/production servers
Fix update_revdeps() bug
Fix non-package documents, #22