/usr/lib/pike8.0/modules/Tools.pmod/AutoDoc.pmod/ is in pike8.0-dev 8.0.388-2.
This file is owned by root:root, with mode 0o755.
..
/usr/lib/pike8.0/modules/Tools.pmod/AutoDoc.pmod/BMMLParser.pike
/usr/lib/pike8.0/modules/Tools.pmod/AutoDoc.pmod/CExtractor.pmod
/usr/lib/pike8.0/modules/Tools.pmod/AutoDoc.pmod/DocParser.pmod
/usr/lib/pike8.0/modules/Tools.pmod/AutoDoc.pmod/MirarDocParser.pike
/usr/lib/pike8.0/modules/Tools.pmod/AutoDoc.pmod/PikeExtractor.pmod
/usr/lib/pike8.0/modules/Tools.pmod/AutoDoc.pmod/PikeObjects.pmod
/usr/lib/pike8.0/modules/Tools.pmod/AutoDoc.pmod/PikeParser.pike
/usr/lib/pike8.0/modules/Tools.pmod/AutoDoc.pmod/ProcessXML.pmod
/usr/lib/pike8.0/modules/Tools.pmod/AutoDoc.pmod/debug.h
/usr/lib/pike8.0/modules/Tools.pmod/AutoDoc.pmod/module.pmod