[BUGFIX] EXT:documentation should accept other index file names