doc: documented the set_formatted_gmt_time and set_formatted_local_time.