OK, good, thanks. I don’t remember though if I re-installed the Linux VM after the upgrade to Chrome OS 80, which was supposed to have Buster by default. It may have gotten pushed back to v81, but it’s hard to tell – plus there are “Chrome OS” for Android, probably Windows and Apple, as well as Chromebook, and they all have their own releases. I think. This is still all quite mysterious to me.
So if the new installation doesn’t show up with Buster, I’ll follow your link. Thanks again.