Today is Friday the 13th, often called “Black Friday” by those who have a superstition or two. A colleague was flying to ...