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.