Update HelpfulTools.md once we have some experience with practracker

Once legacy/trac#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 in legacy/trac

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

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

Trac:
Actualpoints: 0.2 to N/A
Parent: legacy/trac#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 from legacy/trac#29911 (moved)

added Feature label and removed 1 deleted label

added Deferred + 1 deleted label and removed 1 deleted label

practracker is no longer a CI-blocker.

closed

added Documentation label and removed 1 deleted label