New HD PENTAX-FA* 200mm f/2.8ED [IF] lens?



In the latest K-3 III Monochrome video above (at the 8:13 mark), the photographer displayed multiple photos taken with various Pentax lenses, including a non-existing HD PENTAX-FA* 200mm f/2.8ED [IF] lens:



Was that a typo or Ricoh is planning to release a new HD version of the SMC Pentax-FA* 200mm F2.8 ED [IF] lens?

Update: it seems that there is also a new HD PENTAX-FA 28-80mm f/3.5-5.6 lens.

Here is the full video:

Updated Pentax K-mount lens roadmaps (November 2022)