extension: no need to generate a page with no symbols
extension: no need to generate a page with no symbols

hotdoc/hotdoc,hotdoc/hotdoc,thiblahute/hotdoc,thiblahute/hotdoc,thiblahute/hotdoc,thiblahute/hotdoc,hotdoc/hotdoc,hotdoc/hotdoc,thiblahute/hotdoc,hotdoc/hotdoc,thiblahute/hotdoc,hotdoc/hotdoc