Hong Xu Thu, 09 May 2024 12:42:15 -0700
I may have missed the point here, but what's the main obstacle for restoring diff-highlight?
