The official reference manual for the RP2040 says that the I2C protocol was originally defined "in the Dead Sea Scrolls" and gleefully declares the PIO peripheral to be Turing-complete after showing that it can add two 32-bit integers in under a minute. Basically the whole thing reads like 20something me wrote it, and I'm here for that. #raspiPico #rp2040
The actual 20something me was the most junior developer at Iota Software, and ended up writing some of their external documentation. This turned out to be an unexpectedly influential product-management position: any time I unsuccessfully disagreed with the more senior engineers on a UI decision, I could just document it in a way that made it sound silly ("You might think that this *saves* the query, but...") and it immediately got fixed.