We now use prettier to format the coding style. This patch is the result
of running it (from the `npm run format` convenience command) and we do
these many changes now so that, from now on, the PRs will carry only
their respective changes and be automatically formatted.