Comment by rcarmo Comment by rcarmo 6 days ago 0 replies Copy Link View on Hacker News At last, one of my uses for https://github.com/rcarmo/ground-init is gone.