How I added group-property filtering to PostHog surveys

TL;DR I contributed a feature to PostHog that allows survey responses to be filtered by group properties (e.g., company_name, industry). I updated the filter UI, wired filters into the survey query logic, added unit tests, and iterated with maintaine...