Peppermint, a printed circuit board