<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><br class=""><div><blockquote type="cite" class=""><div class="">On Sep 15, 2015, at 4:33 PM, Rick Walsh <<a href="mailto:rickmwalsh@gmail.com" class="">rickmwalsh@gmail.com</a>> wrote:</div><div class=""><p dir="ltr" class="">
><br class="">
> Back then we didn't want UTF-8 in our source and so went with Buhlmann. I'd be happy to simply change it everywhere to Bühlmann.<br class="">
> Any volunteer to patch this EVERYWHERE?<br class="">
><br class="">
By *everywhere* I hope you mean everywhere except variable names, which should be Buhlmann. Consistency there is good but ü is a pain for many of us to type in text editors.<br class="">
</p>
</div></blockquote></div>Of course. I meant to say "all user visible strings, both in the UI and the user manual, but not variable names or names of settings".<div class=""><br class=""></div><div class="">/D</div></body></html>