<div dir="ltr">> <span style="font-size:12.8000001907349px">Although I would prefer the far more radical (and thus far more</span><br style="font-size:12.8000001907349px"><span style="font-size:12.8000001907349px">unlikely to ever happen) approach of actually renaming 'fmap' to 'map'.</span><div><span style="font-size:12.8000001907349px"><br></span></div><div><span style="font-size:12.8000001907349px">I'd vote for that too.</span></div><div class="gmail_extra"><br></div></div>