empty commit: see details

Force pushing origin/source to avoid merging with branch 2.1. It's not
ready, not compatible out of the box with 2.0 and I don't want to fight
the merge conflicts and the difference in the application (config,
paths, ...) all the time. Wait for 2.1 to be released.