Remove the format_idle_time afun it's just like format_time and no
need for both really.  I also added some examples to other docs...