[Format] Allow to fix the PR formatting from GitHub's UI

[novusnota]

Ideas:

• Through suggesting changes
• Through running a workflow
• Through a /command to the GitHub bot: it shall be sent by a maintainer to trigger anything meaningful. Recognize when a command is not sent from a maintainer and act accordingly.

Perhaps, the third option with /fmt as a comment message is the best.