You're right — the theme does match the system theme automatically! The UI in the Aa setting doesn't indicate this will happen, but it's a nice surprise that the default behavior is to match the system theme. Well done!