@jbfavre As @bobjonkman says, I don't think a # project should ship restrictive software/plugins in the official, mainline repository.
However, the kind of move I made trashed history and I think I'll revert this until I go through with a commit-keeping migration.