Add a notice on Windows-related datetime formatting problems and workarounds