Switch diff viewers to single viewer#3132

Draft

Kevinjil wants to merge 4 commits intoDOMjudge:mainfrom

Kevinjil:diff-selection

Commits on Oct 3, 2025

Commits on Oct 4, 2025

Store and restore preferred diff tag
Kevinjil
committed

Commits on Oct 5, 2025

Debug GitHub Actions error
Kevinjil
committed