Don't merge directly in GitHub as it produces a crappy commit message.
The title of the pull request becomes the merge commit title (the first line of the merge commit).
The description of the pull request up to the first horizontal separator/line becomes the merge commit body (separated from the title by a blank line).
Fill in the Reviewed by line and add the Pull Request line.
This isn't guaranteed and it leads to an incompatibility with Nuvola Player 3.0.3 which emits InitWebWorker signal when DOM document is ready already.
When merging this branch, please follow Guidelines for Merge Commits, especially:
Reviewed by
line and add thePull Request
line.