> at home, I’m still mostly using a two-year-old Intel-based Mac Mini

> It dual-boots Windows and Linux and is my only x86-64 computer.

Isn't the Mac mini an x86-64 computer, or am I missing something?