Yup, true - from the end of section 2.3.4 jTOP SLE78: "The jTOP SLE78-powered ID cards were issued until the end of 2018. ID cards manufactured currently are powered by the chip platform supplied by IDEMIA (not covered in this work)."
Looks like the ID cards issued after 2018 are not covered, so I guess this really is "old news".