> which would have had a nearly non-existent impact on normal use Then don't you think it would have been a bit useless? "Normal use" does tend to include wron

> which would have had a nearly non-existent impact on normal use Then don't you think it would have been a bit useless? "Normal use" does tend to include wrong comment. (Which have their utility, see https://meta.wikimedia.org/wiki/Cunningham's_Law https://meta.wikimedia.org/wiki/Cunningham's_Law ) @PG: Thanks for the change.