Quarry: dynamic DNS server with swappable back ends and CRUD apigithub.com/containership7 pointsphildougherty10 years ago