Aha. Thank you. I checked the plugins repo yesterday and did not find them. I see them now and will install them.
I plan to encourage our teachers to move away from the old themes so that we can remove them and stop supporting them as optional plugins in our site.