* changes: Add REST API endpoints to mark a change as muted/unmuted New mute-label allows for temporarily unhighlighting changes in dashboard