If the page was already rendered as PDF before, offer to download the cached PDF and some UI element to force re-rendering.
This requires several things:
- Implement caching logic in the backend.
- Add a new "Force re-rendering" UI element to the selection screen (old mockup without such an element: https://phabricator.wikimedia.org/T142201#2660206).
- In cases where we at the moment are directly linking to the PDF, we need to show a page with a "Download" and a "Force re-rendering" element instead. This needs a design first.