The LEAP knowledge base: stats about LEAP and its services