This version is breaking for any dependent userscripts that use the
`allowJs` configuration option (#91).

The checked-in version number is changed from 1.3.3 to 2.0.0, but v1.4.0
and v1.5.0 also exist – just not on the trunk, but on a separate `v1`
branch. Back then, the plan was to keep backporting features and fixes
to older major versions, but I've abandoned those ambitions, since it's
_a lot_ of work for little gain. From now on, new versions will only be
released in a linear fashion.

Since we don't (yet) have automated releases (#66), this PR adapts the
CI configuration to enable PRs like this one, whose subject start with a
lowercase letter.

💡 `git show --color-words='[0-9.]+|.'`