I'm not sure you can exclude that either. The plugin developer seems to be asking you to edit code in the theme, but again, I'm not comfortable telling you how to edit another theme creator's files. I know if I had to, the first thing I would do is make a backup of the files I was messing with. :)
What theme is it?
tim