I just voted. it went through fine.
Yes, I did list Mint prominently.
btw, I finally switched the main machine to Mint.
other machines run a variety of BEL ( Server, based on PCLOS ) CentOS and fedora.
for overall home use, I prefer Mint.
Bee the best you can bee.