re: #86 iossarian

I’m sure the port owners are lining up to pay the workers extra and thus ensure they enjoy a happy Christmas.

They’re not the one shutting the ports down.