@nikolaiwarner what are you expecting an Ainsfile to be like? I was thinking extensions could be gems loaded from a Gemfile.