Thank you for the pointer to the repo. I’ve searched ROS core stacks · GitHub but didn’t know GitHub - ros-infrastructure/www.ros.org: Main ROS.org landing website!
And thank you also for the PR as well. Will create a PR if I find anything else in the future.