We have completed this feature. You will be able to export your flag sets into a PDF file on the 31st. We plan to expand letting our users export other reports too and soon excel files too.