20100912 unknown: What is the origin of the term manhole?