Looked at the pro and didn't like the look of the number row keys with symbols places to the side of the numbers. Of course, switching the caps with the MKI would have been an option.
Not bothered about linux these days, like my gaming to be less complicated and have full admin rights on all PCs I use.
Got 5 years out of the MKI, hope the MK2 last that long.