The duplicate color choices bug in Android 15 has now been fixed. Google reopened the case, confirmed the issue and a fix. The fix for the bug is complete, but when it will arrive is anyone's guess.