At last, one of my uses for https://github.com/rcarmo/ground-init is gone.