On Wed May 7 01:30:09 2025 +0000, Etaash Mathamsetty wrote:
Is it possible to import tablet-v2 xml instead?
Yes, it would be possible. It's just that we don't actually need tablet-v2 at this point, except to satisfy the link requirement for the existence of this symbol. Bringing in the xml file and compiling it, just to get a symbol which we will not even use in the end, seems a bit of an overkill.