Variations on a theme of Kasteleyn, with application to the totally nonnegative Grassmannian

We provide a short proof of a classical result of Kasteleyn, and prove several variants thereof. One of these results has become key in the parametrization of positroid varieties, and thus deserves the short direct proof which we provide.