Very cool, thanks for finding that. I must admit that factlet (which turns out to be a factoid after all) always hovered in a grey-area part of my brain between “interesting enough to remember” and “urgent enough to actually research/verify” (hence why I wisely added the “not verified” parenthesis).