Anonymised_user_6 incorrect, you aren’t supposed to edit pages, which is why PRs are intentionally disabled on it. it is purely ran by robots and the only exception was for minor human maintenance during the development of 0.3 (the massive structural changes made 0.2 impossible to keep maintaining). we copy packages/gui/static-prod to pages