Several dashboard changes#5124

ndr-ds wants to merge 1 commit into12-01-send_notifications_in_batcheslinera-io/linera-protocol:12-01-send_notifications_in_batchesfrom

11-25-several_dashboard_changeslinera-io/linera-protocol:11-25-several_dashboard_changesCopy head branch name to clipboard