gustafn
committed
on 22 Oct 22
avoid UTF-8 middot that apprarently does not work everywhere