This blog post is a text version of a talk I gave at Lambda World Cádiz on October 25, 2018, for those who couldn't attend and don't like watching video recordings. Thanks a lot to Jan Stępień for encouraging me to publish a text version of my talk.| danielwestheide.com