Mark pages with user symbols as being owned by that extension
Mark pages with user symbols as being owned by that extension

Otherwise if they have no other symbols from the extension,
they won't be rendered by the extension formatter and won't
have the right symbols/comments.

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