On this note, it would be nice for mobile OS's to have their own OTP generator, to prevent the need for a single app just to store the password manager OTP. Google has Authenticator, but I don't know if there's a built-in to iOS, which could have keyboard-based convenience pasting too.