We use the Action function in ProofHQ to flag comments for specific functions. The legacy viewer showed how many comments were flagged with a specific Action, which allowed us to assess approximate work effort for various resources. That capability is an important part of our workflow. However, it does not appear that the new viewer provides those counts for each Action. Is there a way to change our settings to allow those counts to be visible? Or if not, is that functionality planned for future releases of the new viewer? Many thanks. Heather McCune
