dotch.json