[Compass-ci] [PATCH compass-ci 08/40] doc/manual: rename English manual files