main
audio: Re-convert ding.mp3 from original source.
Move static/third/gemoji to static/generated/emoji.
webhooks/heroku: Replace Deploy webhooks with App webhooks.
integration-docs: Migrate PythonAPIIntegration docs.