Note: groups.io will be down for maintenance on Wednesday, October 5th, starting at 9AM Pacific Time (4PM Wednesday October 5, 2022 UTC), for approximately one hour.
On Tue, Aug 3, 2021 at 10:25 PM, Luke Robinett wrote:
The navigation there is currently quite poor, as I outlined previously.-
And as you also noted, it's just a bad design. I have no idea why there is not a search feature there, as there should be. That particular area is as hated by the sighted as by anyone who's using a screen reader!
Brian - Windows 10, 64-Bit, Version 21H1, Build 19043
Nothing in all the world is more dangerous than sincere ignorance and conscientious stupidity.
~Martin Luther King, Jr.