The code has been moved to https://github.com/dmotte/misc/tree/main/python-scripts/raspi-safe-shutdown.