New York Times Mini Crossword was fun today