@poloniousmonk It seems that the use of "hash" as a name for '#' goes back to the 1960s, so not very new.