More consistent UTF-8 naming in docs