>>1895970
The non-seasonal mains are a bit more of a pain in the ass, since you need to consistently hit floor 20+ on each of your runs to reliably see at least one. Probably won't be the main you're looking for either.
The runs I've joined this past week very rarely had Astro, if he spawned he was part of the two all-mains floors I experienced with /v/. We've encountered that stupid dog a lot, for some reason.