Initial commit after moving to a repo of its own