Added in this commit: https://github.com/jboss-developer/jboss-developer-shared-resources/commit/dc9ae2ce4e11bbad711dfe51b636bb9deffde75b

+1. I don't believe contributors should have any knowledge of the distribution process. That is for the administrators.