> but it saves me labor nonetheless, so I kept it.

Yep. Trading accessibility and usefulness to the people who disable JavaScript for 20% more productivity is a bargain. Most companies make that trade for far less every day.

I’ve never worked in a place that gave much thought to those. At most there was a contracted dev in some low cost country to slap aria tags around.