JLCPCB shipped my boards.
Already spotted one mistake, "pull-ups" instead of "pull-downs".
Anyway. This is an AVR32DD14 based board (I wanted an excuse to play with embedded Rust on 8 bit) with the following functions:
3.3V power supply
Allow Linux SBC to power itself off completely
Power on Linux SBC when button pressed
Send shutdown signal to Linux SBC when button held
Control LED lighting button based on a GPIO input, e.g. Linux's LED driver with heartbeat trigger
Two extra pins broken out for future use
I2C for configuration