No such luck. I ended up having to contact Lenovo support; fortunately, my warranty was still valid, so they were able to help me. Long story short, my tablet is back up and running with Android 9 (build TB-8505F_S100145_200901_BMP).
Anyway, I started over, this time with more patience & caution. I plan to install AndyYan's lineage-18.1-20211214-UNOFFICIAL-treble_arm64_bvS.img GSI, downloaded from
https://sourceforge.net/projects/andyyan-gsi/files/lineage-18.x. Then I plan to install arm64 Open GApps for Android 10.
I've gotten through all the steps from #42, and step 1 from #43; also, I downloaded TB-8505F_S100145_200901_BMP.zip from
https://mirrors.lolinet.com/firmware/lenovo/Tab_8/TB-8505F, and extracted boot.img and vbmeta.img. So far, so good.
Anything I need to know before continuing? I may as well admit I'm more or less a novice at this, as my fiasco with the boot loop earlier (not to mention my failures to fix it) will attest.