You would expect identical SQL queries, running against the same database at the same time to give the same results, right? Well, it turns out that such an impossibility can occur. Alas, this wasn’t some easter egg or heisenbug hidden in MySQL, the issue turned out to be perfectly sane. This is how the confusion unfolded…
~/.ssh/authorized_keys is more than just a file listing valid public keys which can be used for server access. Each key can be preceded by a list of options: