NYT Mini Crossword - August 12, 2025

1. *Workplace for scientists

4. *Grub

6. Maliciously revealed one's private identity, informally

8. Spanish "but"

9. Gasoline type: Abbr.

1. TV screen option, for short

2. ___, a skip and a jump

3. *Someone who's always taking jabs at you?

5. Used to be

7. ___ days (time of summer suggested by the answers to the starred clues)