Thanks! We documented everything pretty well, but this one is new for us. Probably because all of our customers are Dutch and they don't seem to run into this problem.
Thanks again and keep up the great work. We will keep promoting GrapheneOS as the most private and secure operating system available atm.