Closes #78 (docslib failing to initialize when CrocBuiltinDocs isn't defined)