Not that I’m superstitious, but is it bad luck to do 13 bug fixes in one evening?
My maternal grandfather escaped the Japanese invasion of China at age 15, on the 13th of the month (though which month I don’t recall). As far as I can tell, “13” has always been a lucky number, at least in my family…