Thanks for your thoughts!
I'm considering there, but I might visit Gorontalo as an easy, low-cost alternative with lots that interests me (nice topography, big variety, whale sharks, etc).
I might visit the southern Gilis, not sure. I've dived all of the usual Belongas sites (Cathedral, Magnet, Manta Pot, Serang) and love them, so I'll be heading back there with Jay and Galina from Wild Scuba, if they're running. I've also dived Gamechanger (great site! That wall of coral is just stunning) but not yet the cleaning station. I've had that on my list for a while but couldn't go last time I was in Lombok. (Blue Marlin usually goes there from about Oct to Apr, depending on conditions.)
Hope you get to go to Alor! I'm hoping to do a DM there at the end of this season as it's probably my favourite land-based place to dive, there's a resort I love there (great people too), and some sites can be tricky, as I'm sure you know, so it's a good place to train!