I'd certainly welcome a feature that takes care of this.

However, I don't think this is something that David would necessarily revert.  We're not talking about something that is added to the downloaded WildFly server.  It's just a tool that lets you add unsupported JSF implementations.  The tool is just doing something that any user could do by hand.

If it makes everyone feel better I can include copy of the jar in the module.  In that case, the user ends up with the same jar in two places.  Again, this is just something that gets rolled into the installer.  It's not added to WildFly by default.  Would that be a better solution?