I don't think it's a mistake, just an omission on the derivative page I linked. Will take a look later. Caliburn (talk) 17:08, 21 August 2023 (UTC)