Comment by 1718627440

5) is common across several other editors and you could argue about correct semantics, but yes 6) is obviously a bug.