On Mon, 28 Jul 2014 22:59:40 +0200, John phoenixoverride@gmail.com wrote:
Why not just move them to an extension? moving them to their own repo begs for a headaches
I don't understand the problem you see here nor the solution you're proposing. Elaborate?