(HDR VP9 Profile 2 is isted as a new feature, as per "Android 9 adds built-in support for HDR VP9 Profile 2, so you can now deliver HDR-enabled movies to your users on HDR-capable devices." yet I wonder if this is effectively a telco-friendly video codec not widely used by media publishers or creators?)
You should be exporting a "master" file from your editor and getting your delivery platform (or at minimum a dedicated transcoding app) to output to the various profiles.
Also, exporting HDR content isn't as simple as changing your export setting. HDR changes the way you handle content from the earliest moments of data capture; the real question is how you choose to crush the high dynamic range down to a standard dynamic range for everyone else.
And Compressor for Final Cut Pro X or Adobe Media Encoder CC for Premiere Pro CC are effectively integrated (or some of the export code) for such a function - or are launched via the apps when you ‘Export’ or ‘Share’, although this can depend upon your CC plan or whether you have purchased/installed Compressor, or not.
The ‘crushing the HDR’ is a good point, I’ll have to look up how this codec handles DR and colour gamet :)