Update HelpfulTools.md once we have some experience with practracker

Once #29792 (moved) closes, we will have a standard way of using practracker.

We should trial it for a few weeks, then update HelpfulTools.md.

changed milestone to %Tor: 0.4.5.x-final

added 041-deferred-20190719 042-should component::core tor/tor doc milestone::Tor: 0.4.5.x-final points::0.2 postfreeze-ok priority::medium severity::normal status::assigned type::enhancement labels

Trac:
Keywords: N/A deleted, doc added
Type: defect to enhancement

Trac:
Actualpoints: 0.2 to N/A
Parent: #29884 (moved) to N/A

Mark a few documentation tickets as "doc"

Trac:
Keywords: N/A deleted, postfreeze-ok added

Trac:
Keywords: 041-must deleted, 041-should added

Add 041-deferred-20190719 tag to 041-should tickets I am deferring today.

Trac:
Keywords: 041-should deleted, 041-deferred-20190719 added

Trac:
Milestone: Tor: 0.4.1.x-final to Tor: 0.4.2.x-final

Trac:
Keywords: N/A deleted, 042-should added

Distributing 0.4.2 tickets between network team members.

Trac:
Owner: N/A to catalyst
Status: new to assigned

Trac:
Sponsor: N/A to Sponsor31-can

No more sponsor 31. All this tickets remained open after sponsor 31 ended.

Trac:
Sponsor: Sponsor31-can to N/A

Trac:
Milestone: Tor: 0.4.2.x-final to Tor: 0.4.5.x-final

Trac:
Owner: catalyst to N/A

changed time estimate to 1h 36m

moved to tpo/core/tor#29911 (closed)