I have Sib. v 8.6.0. When I export a file to xml I click the file tab, then click on “Export”, then “Music XML”, “uncompressed”.
I don’t think I ever installed the Dolet plugin (maybe I did years ago?)
