That’s because VLC took external contributions, and therefore couldn’t relicence the software by themselves.
“As I understand Apple’s terms, GPL code isn’t actually prohibited”
No relicensing would have been required if your understanding was correct. That said, I have a slight headache and that’s why I’m not looking it up myself.