BUR #9928 has been approved by @nonamethanks.
create alias pipe -> smoking_pipe
create alias holding_pipe -> holding_smoking_pipe
create alias pipe_(smoking) -> smoking_pipe
remove alias pipe -> smoking_pipe
deprecate pipe
Currently ambiguous with the other kind of pipe.
I'd also like to see pipes aliased to something like industrial_pipe. Thoughts?