<div dir="ltr"><div dir="ltr"><br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, 22 Dec 2020 at 22:34, Martin Koppenhoefer <<a href="mailto:dieterdreist@gmail.com">dieterdreist@gmail.com</a>> wrote:</div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
> On 22. Dec 2020, at 06:49, Andrew Harvey <<a href="mailto:andrew.harvey4@gmail.com" target="_blank">andrew.harvey4@gmail.com</a>> wrote:<br>
> water=stream_pool<br><br>
isn’t this an oxymoron?<br></blockquote><div><br></div><div>How so? It's a body of water so therefore water=*. It's usually a pool of water along a stream, so the name stream_pool. Usually here they are just named as "X Pool" but stream pool seems to be the general name based on wikipedia usage. </div></div></div>