Increasing the character limit on a Mastodon server

This is mostly a note to myself, but hopefully useful to others too. Here&rsquo;s how to increase the post character limit on a Mastodon server. Bonus: how to increase the number of poll options as well.