I ;eft Mint some years ago.
I believe so. I last used Mint at v8.0 and it wasn’t quite ready for Primetime.