A lot of people want to treat copyright licenses as code, but law doesn't work like that. The question is what a court/judge would think about the work as a who

A lot of people want to treat copyright licenses as code, but law doesn't work like that. The question is what a court/judge would think about the work as a whole and how it functions. If you gave a non-technical person a copy, would they look at the project as a single work or two work that simply interact with each other. If it is the later and you think that is what most people would interpret it as, then no need to change the license. If not then you should change the license as what you got is a combined work which GPLv3 has specific requirements for.