Add a footnote about why exe wrappers are needed on Windows