Xiaomi – dark mode on individual apps

Today I've installed MIUI version global 13.0.7 stable on my Poco F3. Very happy to see that at long last an old bug has been fixed. The setting to adjust dark mode to individual apps now works.