Somehow, despite https://github.com/zyedidia/micro/issues/1169, I find it inserting multiple spaces characters rather than properly inserting a single tab character when running it on #Windows (via wget install zyedidia.micr as per Recommended Packages. Vexing, as that makes Python choke, and the entire point for me was to use a semi-sane editor in a Windows environment without having to use any aspect of the Windows GUI!