40 things we’ve learned about marketing for developers - PostHog