Open philgyford opened 3 months ago
So that people can choose to hide annotations by certain annotators. Not sure if it's a good idea, but maybe. Via email from JH, 2024-03-03, who's happy to try a PR for it.
E.g.:
So that people can choose to hide annotations by certain annotators. Not sure if it's a good idea, but maybe. Via email from JH, 2024-03-03, who's happy to try a PR for it.