Thanks @capfredf
A PR to https://github.com/racket/racket-lang-org/blob/master/www/download.rkt is beyond me at the moment, but we could put the badges on Installing Racket · racket/racket Wiki · GitHub as part of the effort to provide repository specific instructions: https://racket.discourse.group/t/installing-racket-from-package-repositories/1630?u=spdegabrielle. Let me know if I can help.
Best regards
S.