NYT crossword for today, Feb. 13, 2023: