Implemented #15: tags/page numbers in doc. titles.