I'm using GrapheneOS with a secondary user for my daily usage and the notification sound I set as a default for the system is not respected by the OS. I keep changing it and it often plays a different one. I found other threads about similar issues, but never about the the wrong default notification sound being played. Is this a known issue being worked on?