@khm Well at least “condescending” hasn’t changed its meaning.