Suggested tune/tuneup.c patch

[Torbjörn Granlund]

Marco Bodrato <bodrato at mail.dm.unipi.it> writes:

  Is this still active?
  I can access https://gmplib.org/devel/thres/2021-10-30/ , but I'd like
  to check how FAC_ODD_THRESHOLD evolves after my last commit to
  fac_ui... and I find an empty page if I look at
  https://gmplib.org/devel/thres/2021-10-30/FAC_ODD_THRESHOLD

Still there, but for some reason nginx had stopped serving gz pages, and
there were no non-gzip pages on the server.  I made a quick workaround.

-- 
Torbjörn
Please encrypt, key id 0xC8601622