That’s fantastic! It worked perfectly and I really couldn’t continue using Gnome without it. Have you contacted the Gnome developers about getting your zoom fixes into the main branch?
Without using your add-on, there’s really multitudes of issues with high zoom:
