Installed Ceiling Fan With a Remote And Think I Made a Mistake
It sounds like you figured everything out.  I agree their documents should be better (MUCH better) and identify the antenna somehow, use pink or purple for the antenna wire, not strip the end.  

Now the part I think you already know but were hoping not to hear:  

You should disconnect the antenna from the neutrals.