Τελικά ξεπεράστηκε το τεχνικό πρόβλημα με τις σελίδες της HOL και ξανασυμπεριλαμβάνεται στο συγκριτικό πίνακα.