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.
Good idea with 3.3v i/o.
There are sonic devices that do 3.3v so I agree: the user has to know about 5v tolerent and choose the correct hardware for their needs and Endruino has a solution in software to drive correct hardware
Can someone help with confirm this diagram for interfacing to 3v devices like puck.js?
http://www.espruino.com/HC-SR04 may then get a PR if an authoritative input is given
The diagram is stolen from something which I cannot remember.