The pool was one of the first pools ever created, was taken off-line for many years, and is now re-initiated as decentralized. So those coins were in fact mined in nostr:npub1lh273a4wpkup00stw8dzqjvvrqrfdrv2v3v4t8pynuezlfe5vjnsnaa9nk initial pool.