I’ve tried loading the history into darktable from the JPG I downloaded, but it just gives me the default history stack.
But then exiftool -a -u -g1 -ee -api RequestAll=3 *embed*jpg showed that it’s actually an ART image; I didn’t know ART would also embed the history, so made the wrong assumption. 