Welcome to a new Pulsar regular release!

This time we have a brand new API, a reduction in Pulsar’s installed size, a fix for a really tricky and annoying bug, and some fixes from the community.