Iba poner un comentario, pero ahora resulta que tengo editor (mi conciencia), y seguramente ese editor me iba poner un comment en comments. Conclusión: mejor no mencionemos ese editor. No lo invoquemos.