improve news.html and mastodon info

Added "2024-04-20" news update.

Fixed format for "2023-05-22" news.

Fixed bad links to `judges.html`.

Add "Jump to: top" near the bottom.

The `make gen_top_html` no longer builds `next/rules.html`
nor `next/guidelines.html`.  This is being done by
the `bin/gen-status.sh` tool and `make gen_status`.

Moved `make gen_top_html` after `make gen_status` in the top level
Makefile rules for `make www` and `make quick_www` because
`bin/gen-status.sh` uses the modification date of `news.html` (that
make gen_top_html might modify) when forming `status.json`.

Added FAQ 6.12 for "What is Mastodon and why does IOCCC use it?".

Simplified `contact.html` mastodon info to refer the above FAQ
for further mastodon information.

Changed `bin/gen-top-html.sh` VERSION from "1.4.2 2024-04-21"
to "1.4.3 2024-04-21".

The `bin/gen-status.sh` tool will build `next/rules.html` and/or
`next/guidelines.html` if they are missing or empty.

Changed `bin/gen-status.sh` VERSION from "1.3 2024-04-14"
to "1.4 2024-04-21".

Run `make gen_top_html gen_status` to perform the above.

contact.md

@@ -36,26 +36,17 @@ and suggestion in the relevant places.
 See the above FAQ entries for more details.
 
 
-<div id="mastodon">
-# Try mastodon
+<div id="try_mastodon">
+# Try Mastodon
 </div>
 
-You may wish to follow us [IOCCC on Mastodon](https://fosstodon.org/@ioccc)
-as we use that platform to announce things such as the opening of a new IOCCC
-as well as winning entries of the IOCCC.
+## Please follow the [IOCCC on Mastodon](https://fosstodon.org/@ioccc)
 
-We no longer tweet (or whatever someone with poor impulse control calls
-posting messages on their platform), preferring to reside in the [fediverse](https://fediverse.info) instead.
+We use Mastodon to make minor announcements, in addition announcing
+major events such as the opening of a new IOCCC, or who won.
 
-There is [help with Mastodon](https://mastodon.help) available for
-those who might wish to [get started with Mastodon](https://fosstodon.org/deck/getting-started).
-
-While there are many fine Mastodon server instances out there, the [IOCCC judges](../judges.html)
-use [fosstodon.org](https://fosstodon.org/about) where lots of fun folk hang out,
-and topics like science, technology, [free and open source](https://en.wikipedia.org/wiki/Free_and_open-source_software)
-have a good home.  The [fosstodon.oeg](https://fosstodon.org/@fosstodon) folk made the IOCCC feel welcome.
-And while using Mastodon is free, the [IOCCC judges](../judges.html) are pleased to
-[support the Fosstodon Hub](https://hub.fosstodon.org/support/).
+See "[FAQ 6.12: What is Mastodon and why does IOCCC use it?](faq.html#try_mastodon)" for more
+information on Mastodon.
 
 
 # If you really need to send Email the IOCCC judges