@numericcitizen Interesting how many folks use the web editor. I almost always use the Mac app (like right now!) or the iOS app.