A tool to convert brava markup to xfdf markup - View it on GitHub