Dark Star is probably John Carpenter’s second finest film (after The Thing). It’s the John Carpenter film I’ve always been saying he should make–a funny one. I have seen Dark Star before, probably nine years ago, back when it was somewhat rare (it got picked up, a year after I saw it, by a video…