message: Restore star button in `clean-dashboard`
diff: */
  /* Hide duplicate repo name in some non-grouped events */
  -.rgh-clean-dashboard .dashboard :is(.watch_started, .repo, .public) .color-border-muted.flex-items-baseline .text-bold.color-fg-default {
  - display: none;
  +.rgh-clean-dashboard .dashboard :is(.watch_started, .repo, .public) .f4 .Link--primary {
  + display: none !important;
  }
  /* Drop "box" style from the repos */
  margin-bottom: 0;
  }
  +/* Star button: Hide label */
  +.rgh-clean-dashboard .starring-container button {
  + letter-spacing: -1em;
  + color: transparent;
  + padding-inline: 0.8em 0.5em;
  +}
  +
  +/* Star button: Make it less prominent */
  +.rgh-clean-dashboard .starring-container .BtnGroup-item {
  + background: none;
  +}
  +
  /* Hide footer date on Created Repository events */
  .rgh-clean-dashboard .dashboard .repo .f6.color-fg-muted {
  display: none;
  padding-right: 0 !important;
  }
  +/* Grouped events: ... but restore some padding inside */
  +.rgh-clean-dashboard .news .js-news-feed-event-group .Box {
  + padding-right: 16px !important;
  +}
  +
  /* Grouped events: Keep open */
  .rgh-clean-dashboard .Details.js-news-feed-event-group .js-details-target {
  /* Hide toggle */
  display: block !important;
  }
  -/* Hide star button */
  -.rgh-clean-dashboard .dashboard .starring-container {
  - display: none !important;
  -}
  -
  /* Restore right margin for repo descriptions #5024 */
  .rgh-clean-dashboard .dashboard .repo-description {
  margin-right: 16px;
  