I don't think publishing to a single specific profile is an appropriate use of a desktop video editing application. It's like typesetting a paperback book by pressing "print" from Microsoft Word.

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.