i liked #4 as well for the ease of sharing files on a local network. the name warpinator just makes that better. i also read (i think originally on distrowatch, but also in the release notes) that they are offering a specific theme to deal with small fonts in grub2 with hidpi:
Grub2 theme in HiDPI
If the grub2 theme looks too small in your HiDPI monitor, install the “grub2-theme-mint-2k” package.