I would like to inform you that I just submitted a new request for enhancement in the Github issue page for the grist-core repo:
Thank you, Grist is awesome!