Alternatively, you can use iancoleman to trace the address and its corresponding private key which you can import on wallet, like Electrum to spend from.
Thank you for bringing up these methods. Unfortunately I couldn't find the funded address either.
How did you generate your seed phrase? What wallet/software did you use for that? Maybe, the address you are looking for has been generated on a different derivation path.
Did you try clicking on "Detect existing accounts"?
I generated the seed phrase around April 2021 using a Ledger Nano S that I still have access to, both mnemonic and PIN code.
I also tried to use the device import the wallet into Electrum (New wallet > Use hardware device) using all three suggested derivation paths (p2pkh, p2wkph-p2sh and p2wpkh) without any luck.
The Ledger app shows different addresses as well.
Detecting existing accounts says that no accounts were found.
To make matters more interesting, I found another funded address (let's call it A#2) I used to initially test the wallet and BTCRecover says that the seed matches this address on m/84'/0'/0'/0/1. As far as I understand, this would mean A#2 is the address subsequent to A#1 I mentioned in my OP.
How can it be? Since m/84' means Native SegWit.