documentation: more info on threads, clocks and time