text: Title: Enable PDF on Read the Docs
  Body: Provided one has the correct dependencies on, e.g., Ubuntu Linux 22.04, our docs can be built to a Latex PDF, but this is no longer enabled on Read the Docs (long ago, it was automatically included).
  
  Check what is needed to enable the PDF output again.