True, I forgot about Ada. While ugly, Ada2012 is a very modern language with a lot of benefits compared to C, especially for embedded control systems programming.
Ada got a bad rap in the past and didn't spread very wide outside US military circles. But it is a very good language. For adoption today it would need some big backing though.
I just looked through the source code real quick, and while I may have missed something it seems to be storing the credentials client side, not server side. Unless you mean on Google's servers, then yeah.
