Priority follow ups

[Gittenburg]

• If the triage tab is empty explain how to assign priorities.
• Make priorities shareable as an URL.
• Somehow facilitate collaboratively maintaining priorities in a git repository? Maybe support fetching priorities as JSON from a given URL?