Yes, that looks about right. Sadly the nRF52 doesn't seem to have any 5v tolerant IO pins.
Personally I wouldn't change the HC-SR04 page - there's no particular reason that should have a note when every other page on hardware doesn't.
I'll add something to the Puck.js page to make it more obvious that it only has 3.3v IO.
@Gordon started
Espruino is a JavaScript interpreter for low-power Microcontrollers. This site is both a support community for Espruino and a place to share what you are working on.
Yes, that looks about right. Sadly the nRF52 doesn't seem to have any 5v tolerant IO pins.
Personally I wouldn't change the HC-SR04 page - there's no particular reason that should have a note when every other page on hardware doesn't.
I'll add something to the Puck.js page to make it more obvious that it only has 3.3v IO.