Just updated the app so export to PDF now shows your highlights colored.