Estos tiempos extra fueron más tarde abolidos, pero la distinción de "rey de la montaña" siguió vigente.