Board Thread:Support Requests - Designing Your Wiki/@comment-34631921-20200526210606/@comment-9605025-20200528184258

Then perhaps I am thinking of another source editor.

with site CSS

without site CSS - Edit:

Also this - Standard Edit Summary