I tried that, but it seems to only want to generate the addresses of the first HD wallet I ever created. I've since deleted that one.
On the Mycelium tab, 'BIP32 Derivation Path' seems hardcoded to m/44'/0'/0'/0
I figure I need to change one of those 0's to a bigger number to get the addresses for the wallet I'm currently using. I didn't realise I could use the BIP44 tab to edit those numbers individually, so got lost making
a fork of the page where you can edit the derivation path on the mycelium tab. But all I needed to go was use the BIP44 tab and change the 'account' from 0 to 1 to see my receiving addresses.
I found that if I used m/44'/0'/1' as the derivation path then the displayed "BIP32 Extended Key" and "BIP32 Extended Key (addresses only)" in the mycelium tab of the bip39 web page match the keys I see in mycelium when I export my wallet. But the addresses it generates with that derivation path aren't right. In order to get the correct address list I have to use m/44'/0'/1'/0 as the derivation path (ie. with the0 on the end).
My wallet contains 49 private keys according to the accounts tab of mycelium, but only addresses 0 through 17 have been used. I guess the other 31 must be change addresses.
I tried m/44'/0'/1'/1 as a derivation path and saw a list of my change addresses. 0 through 29 have been used. So that's 30 change addresses and 18 receiving addresses that have been used, and I guess one extra receiving address has been displayed but not used, making the displayed total of 49.
I sent some coins to the first receiving address in the list, hit the 2-arrows-in-a-circle icon, and the deposit showed up. So it does look back through at least 17 old receiving addresses.