How a bug in RDS Proxy affected MyActiveSG+, and how we resolved it