I remembered three things from when I read The Moon is a Harsh Mistress long, long ago: the taxonomy of jokes (not funny, funny once, and funny always), that dropping rocks onto earth from the moon…