BUR #28113 has been approved by @nonamethanks.
create alias water_pipe -> industrial_pipe
I don't see why this should be separate. While the Wiki for industrial pipe stated that its purpose is to carry water, other liquids or gas. Its material IRL can be either metal or polymer.
- post #7649547 looks like metallic industrial pipe.
- post #6780868, it's not clear if this water or natural gas pipe.
- post #6382689, should be lead pipe instead.
Even worse, this has been used to tag elastic water hose, while pipes should be rigid. (i.e. post #5854811 and post #7332748)
So I need to clean this up first.
Updated