Default output directory is now 'doc'; annotations were borked and not_luadoc check could blow up