Well it worked. After two years, you can print notes with highlights. I'm not sure why I even tried to search the help again today. I'm a premium user with the beta thing turned on and this update didn't show. Anyway I printed a page with highlights.