Should https://circuitpython.org/board be "an alias of" / "a redirect to" https://circuitpython.org/downloads ? The idea is that when you are on a board and you want to check other board, you can shortcut the URI to do that https://circuitpython.org/board/raspberry_pi_pico_w/ => https://circuitpython.org/board/ or https://circuitpython.org/board (maybe I am the only one doing/trying that...)