First pass at board:
Design files here: https://github.com/edgecollective/tide-board
1/4 watt -- 10 mm or 0.4 inches
Dave S. in Belfast's successful test of the Maxbotix Ultrasonice + Heltec Wifi Lora 32 v2 -- video
Possible RTCZero support on the IBM4? https://github.com/arduino-libraries/RTCZero/pull/66.
Issue prior: because the IBM4 is a 'crystal-less' design (I think the IBM0, too? But not the Feather version of these boards?) there was some additional code that needed to be written ... but looks like the above pull request purports to fix it ... worth trying!