it's not well documented but you can drag across a few letters at once and clear the selection pretty fast that way
(andrew-tpops up once a year with topical javascript, Sat 21 May 2022, 23:32,
Reply)
Share to
Hide / Ignore
Hide
If you want to unhide this post later, click the "update profile" link in the top navigation bar, and scroll down to the bottom.
Ignore
You will be blisfully unaware of this user for just one week
