Wow, thanks for bringing that to my attention! I hadn't even checked their listings because I conclusively identified the specific die. But now that you mentioned it, I can see that the first three listings on that page are indeed DDR-009. Although oddly, those coins do not appear on the images page, I have noticed that on many other CoinFacts pages as well.
https://www.pcgs.com/coinfacts/coin...s-801/145632It isn't always clear to me how strict PCGS gets with die varieties. Going over
Jefferson nickels thoroughly, I have found many examples of similar but distinct doubled dies that got lumped into a single CPG attribution.