I used to be able to edit the source of a page by clicking the </> button at the top of the page (when not in edit mode). This button is no longer there, and I'm unable to locate any other way of doing this.
The problem I'm trying to solve is that I sometimes have to go into the source HTML to edit a complex nested numbered list that isn't rendering as intended, or to widen a table beyond the default.
Is there some way to still edit the source of a page??