I've pushed those sources as a PR

• https://github.com/beanvalidation/beanvalidation-spec/pull/94

I'd make this a feature branch so I stop rebasing stuff and you can all send "final adjustments" as follow-up commits?