@MastodonEngineering is the auto system theme included? github.com/mastodon/mastodon/p