I have yet another proposed change to the Metamath website. This focuses on updating the FAQ on the Metamath home page, with a few tweaks elsewhere. E.g.: * I moved links to much-less maintained material to the "other.html" page, e.g., Metamath Music. * The home page no longer tells people to email Norm. * A new FAQ entry is a brief memorial to Norm.
The proposed change is here (click on "files changed"): https://github.com/metamath/metamath-website-seed/pull/9 As always, comments/suggestions/reviews are very welcome! I stopped at the "Downloads" section, which needs a cleanup, but that work is for a future day. --- David A. Wheeler -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/C620B94E-93B1-47DA-8F1C-745EA071A087%40dwheeler.com.
