Question Gibraltar as a Trip Add-On?

I'm planning a bigger trip and thinking of adding a few days in Gibraltar. Has anyone been there? What are the must-see places and activities? Any tips on accommodations or local food? I'm curious about how to make the most of a short stay there!