Justifications for overrides:
* Removing the "extra license file" (in HTML form in Extrema's internal
  help) would break the interactive documentation, since e.g. other
  pages link to it. It's up-to-date and seems reasonable, so I see
  no problem in leaving it in.
