No idea why git didn't pick up this file being added to the repo, but here it is manually uploaded anyway... Minimal peppermint.json so the dockerfile can use it. :)
