Board Thread:General Discussion/@comment-38709782-20200418153304/@comment-39340968-20200418160638

That editor is now labeled as "Edit source".

Also: