Apparently it was commonly used in home plumbing as well, argh.<p><a href="https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=10357115" rel="nofollow">https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=10357115</a>