Follows up commit d5c874e1 ("main: rewrite help message"). Thanks to Mergen Imeev (@ImeevMA) for pointing it out! Part of #8862 NO_DOC=The documentation request is present in d5c874e1. NO_CHANGELOG=same as NO_DOC