Stuff that shouldn't pollute the other repos