Not clear that skeleton.py should be in the repository, though.