tree-wide: when in doubt use greek small letter mu rather than micro symbol

tree-wide: when in doubt use greek small letter mu rather than micro symbol

Doesn't really matter since the two unicode symbols are supposedly
equivalent, but let's better follow the unicode recommendations to
prefer greek small letter mu, as per:

https://www.unicode.org/reports/tr25