Move example.monga to specs/