Hi @tfmorris & @antonin_d - I think the outstanding questions here seem to be more or less answered, or? Organizing Github Issues - Google Docs
In general, we can remove all duplicates (or labels that duplicate build-in functionalities in Github), but the rest can maybe already be implemented, so we can start using them in the documentation?
What do you think? Is there any benefit in waiting a bit longer, or shall we give the new structure a try and see if we hit any snags with it.