How will this affect Linux Mint, and should I make my move to Linux Mint: Debian Edition?