Tweak the don't use Appearance stream if annot is typeHighlight
After playing hand editing files and opening them in Adobe Reader i think the condition is "if the appearance stream has a ExtGState in its Resources dict, then use the appearance stream, otherwise draw it ourselves