An additional file This file doesn't contain anything of use, but will (hopefully) be deleted by a post-build command on mybinder.org.