CommentStreams:3aa220073c6e680e7ffd1b403391d0e1

There's a mistake in the doc. The GPIO pin for PPS is 15 instead of 1.