Mintty customizations now only on Windows. Fixed indentations.