[18:44:19] Having a problem where the PdfBook extension seems to just continue providing a PDF that's the same, no refresh of the contents of the pages linked-to in the bullet list. I can't seem to figure out where this might be cached; even restarting the entire server running MediaWiki changes nothing! [19:59:25] I figured out that PdfBook spits out to images/pdf-book-cache* files that I could wipe to force a refresh.