A longer-term, lower-priority TODO, getting branding sorted out and upgrading the layout to use the latest Carpentries styling.