People joking about who’s buried in Grant’s Tomb. Less and less these days.