So, I tried vassalizing him in every possible way (including doing as the ingame tooltip states with having the anti-pope be a family member) and he simply will not be vassalized. Is this broken now or does the tooltip need to be updated as he's intended not to be vassalized? I found the idea of playing a strong Holy Roman Emperor to be less savory when you have to always bow to your religious head.