Formatting the source via GitHub Workflow

If you just submitted a PR and it looks like this:

It is likely because you made some changes to the source files without running the formatter.

Luckily, it is easy to fix this:

1. Go to the GitHub website for your fork after you pushed your changes.
2. Select the Actions tab at the top and press the "Format sources and commit to branch" workflow.
3. Click on the "Run Workflow" button at the right, and choose your branch name from the list presented.
4. The workflow will re-serialize the files and commit the changes to the branch you chose. (If you want a copy of the changed files locally, you should execute 'git pull' back on your local machine).