windows tools

Windows-specific tools and notes can live here. Keeping operating-system tools grouped this way makes it clearer which commands and assumptions apply before getting into the job the tool does.