For me, that hotlap list only promotes that, hotlapping, and the "honor" to watch your name in highest positions, nothing more.
Also you won't see the "top guys" in the public server, so are quite useless imo. And if you want to know laptimes are doing people, it's very easy : ask them on the server.