.minttyrc, notably containing colours that are much easier on the brain than the mintty defaults