More consistent UTF-8 naming in docs[2]