PaginationPage should inherit from PageWithoutAFile #257
Description
PaginationPage documents do not map to a single source file on disk, so they should use PageWithoutAFile so that they can be identified as such. PageWithoutAFile is just a very light abstraction class that inherits from Page, so no other changes are required other than renaming PaginationPage < Page to PaginationPage < PageWithoutAFile.