Everything You Need to Know About Diversity in 25 Minutes (PGConf.dev 2025)