Well, it isn’t pretty, but gets the job done.

The thing with PHP in this case is that I was already serving a ton of simple websites / small apps like freshrss that use PHP and by making this tool in PHP it means I don’t need yet another process running and wasting resources, can just re-use the existing php-fpm for this.

For what’s worth PHP is better than it looks, and my implementation is very crude, but also small and auditable and contained to a single file. :)