Version 0.9.1 (2024-12-23)

• Fix generated timestamp in docs
  • This timestamp slipped in with the last release
  • Make it an option restores the previous behaviour
  • It is a bad idea to have always changing docs without code changes