Exporting float RGBA hdr image loses alpha channel

The only format for exporting HDR images in the Editor is “*.HDR”, but this format doesn’t have alpha channel, so the alpha information is lost.