+(define contact-page
+ (static-page
+ "Contact Information"
+ "contact.html"
+ `((h1 "Contact information")
+ (p "Email is by far my preferred method of communication. I may"
+ " be contacted at any of the following addresses (choose the"
+ " most closely related):")
+ (ul
+ (li "bandali@gnu.org")
+ (li "bandali@uwaterloo.ca")
+ (li "bandali@csclub.uwaterloo.ca"))
+ (p "If you want to send me GPG-encrypted mail, you can use my "
+ ,(aa "public key" "bandali-pubkey.txt") " with the"
+ " fingerprint "
+ (code "BE62 7373 8E61 6D6D 1B3A 08E8 A21A 0202 4881 6103")
+ ".")
+ (table
+ (tbody
+ (tr
+ (td "IRC")
+ (td "bandali on " ,(aa "freenode" "https://freenode.net") ", "
+ ,(aa "moznet" "https://wiki.mozilla.org/IRC") ", and "
+ ,(aa "oftc" "https://www.oftc.net")))
+ (tr
+ (td "XMPP")
+ (td ,(aa "bandali@member.fsf.org"
+ "xmpp:bandali@member.fsf.org")))
+ (tr
+ (td "Matrix")
+ (td ,(aa "@bandali:matrix.org"
+ "https://matrix.to/#/@bandali:matrix.org")))
+ (tr
+ (td "Fediverse")
+ (td ,(aa "@bandali@pleroma.site"
+ "https://pleroma.site/bandali")))))
+ (h2 "Elsewhere")
+ (p "You may also find me at a few other places online. Stricken"
+ " through accounts are those I don’t use anymore, unless"
+ " absolutely necessary.")
+ (ul
+ (li ,(aa "bandali" "https://libreplanet.org/wiki/User:Bandali")
+ " on LibrePlanet")
+ (li ,(aa "bandali" "https://emacsconf.org/bandali")
+ " on EmacsConf")
+ (li ,(aa "bandali" "https://savannah.gnu.org/users/bandali")
+ " on Savannah")
+ (li ,(aa "bandali" "https://git.sr.ht/~bandali")
+ " on Sourcehut")
+ (li ,(aa "bandali" "https://lobste.rs/u/bandali")
+ " on Lobsters")
+ (li ,(aa "bandali" "https://hackage.haskell.org/user/bandali")
+ " on Hackage")
+ (li ,(aa "bandali" "https://gitlab.com/bandali")
+ " on GitLab.com")
+ (li ,(aa "bandali"
+ "https://news.ycombinator.com/user?id=bandali")
+ " on HN")
+ (li ,(aa "bandali" "https://www.reddit.com/u/bandali")
+ " on reddit")
+ (li (del ,(aa "bandali0" "https://github.com/bandali0")
+ " on GitHub"))
+ (li (del ,(aa "bandali0" "https://twitter.com/bandali0")
+ " on Twitter"))))))