This is an old revision of the document!
Is AWS RDS having a bad day? Or is it AWS Console? Or is it my browser? All of them? Meeeeh.