We should add the ability to support the application of GPX PPK files into all of our editors. RTKlib only allows the export of KML and GPX file formats. More and more users are using this to PPK their data given that it is open source and we should allow the easy application of these files.