@aeonsovarius I don't like Lavinia without some setup for her. Lavinia + leovold would be 4 colors, and if you play at least 2 of each, you would probably want at least access to 2 of each secondary color. I don't like the idea of having that many colors against wasteland decks (the bug survival against wasteland decks is just BUG -> no white cards come in those matchups). In BUG lavinia underperformed comparing to Leovold, so I'm using the 3rd copy of leo instead of the first of Lavinia.
About the other versions, they are just worse. I feel like people are getting there, there were lots of results with those lists mostly because there were a lot of people copying the decklist that won the asia champs or some variation of that. There is more than 1 valid version, probably even 3 or 4, but the initial thalia versions are probably the worse we have right now. Mostly now that there are tons of xerox decks out there, and that version wasn't too favored, and bug is way way favored in that matchup (the lavinia version I guess probably is too).