I force-deployed the master docs because the deploy has been broken for a while due to an OpenAPI validation failure. I'm not sure if the validation failure is related, but I noticed that the sidebar menu on the public docs now behaves strangely.