It looks like we disagree on this. It's unclear to me why only Linux or MacOS developers should be covered by the "first step" way to getting started.
In any case, why not remove the Maven example? It's weird to see Maven promoted over tools like Leiningen and Boot.
In my opinion, the "first step" should cover all three operating systems as Leningen or Boot already does (and as the getting started page admits).