@dantemateos: no están repetidos, son diferentes, el primero (13) incluye además la eliminación del mensaje "teclado bloqueado". Aparte, el mío utiliza otro método y lo probé.. el 13 no lo he probado.

Nota: Tu parche ha sido agregado a la lista.