At 2021-01-03 19:54:38 -0800, pg(at)bowt(dot)ie wrote:>> It just seems worth removing gratuitous inconsistencies,> such as this one.
Agreed.
-- Abhijit