@MastodonEngineering is the auto system theme included? https://github.com/mastodon/mastodon/pull/20107