The “definitive” paper on double-odd elliptic curves is now formally published in the “Communications in Cryptology” IACR journal. The paper has all the useful formulas, for all finite fields (including binary fields).
https://doi.org/10.62056/akmp-4c2h