Add `page_title` attribute to each documentation file for which it didn't already exist, matching the value to each page's h1, respectively.