Revert "Merge remote-tracking branch 'main/gh-pages' into design"

This reverts commit b571bd697844260f0b76961a790a6d4b91405bfc, reversing
changes made to 95bad4f9f74ac7224919abb1a0091761ac109bcd.