@homer gracias, (edito:) corregido, claro.
(Hay enlace para enviar correcciones por GitHub. Tengo a medias un sistema para poder enviar parches sin cuenta de ningún tipo...)
Edited 1h ago
@yo 👍 y 
, respectivamente.
Edito.
No tengo cuenta en github, tampoco de apel y lo de usar una de guguel me da un poco de repelús 
Pero la idea de añadir correcciones es interesante y no sólo notificarlas, mola.
Edited 56m ago