Muchas gracias por tu respuesta, Ignacio. ¿Sería posible hacer la modificación editando el JavaScript directamente, buscando la línea correcta en un editor de texto, entonces? Rebuscándomelas, se me ocurre que podría ser una manera sucinta y no súper complicada de hacerlo. De ser posible, ¿sabrías indicarme en qué archivo puedo encontrar esta línea de texto en cuestión?
Un saludo.