@dalias @robpike Isn't it an ancient attempt at a security device, harking back to the days (last century?) when there were malware thingies called "key loggers" which could capture what you typed in a text box but couldn't capture what you selected in a scrolling widget?