Linux Mint pulls ahead of Ubuntu

This should not be a surprise, especially since I myself have made the transition from Ubuntu to Mint Debian.