If you type “maps *” in console, those 3 maps are part of the list. I played those maps recently and they are pretty fun. I also found out that those maps are well-liked among a lot of people. So whenever the server isn’t that packed, those maps could be voted since a lot of regulars are getting sick of the tiny rotation that we have. All of the regulars are flocking toward the PGN servers.
