Thread:Sannse/@comment-32125535-20201012181030/@comment-32125535-20201016165904

Well, OK. I find mostly the 2017 Source Editor much more efficient to edit with, that's my main concern though.