Oh interesting! I've heard of sourcehut of course, but never looked at it. Thanks for the pointer.