That’s good news, I can handle it manually for now, and of course it would be nicer if the process could be automated. But it’s not a big deal, no rush.
By the way, I noticed that users added via the NIP-86 allowpubkey method don’t seem to get updated in the 13534 membership list event.