Hints and Solutions for Today's Mini Crossword on Friday, May 15, 2026.