Thread:Thebedazzleddementor/@comment-5279400-20190903073311/@comment-38116464-20200820223736

They’re both okay on desktop, so let’s go with the Edgewater formatting. Should we run the formatting change by the other frequent editors?