It this workaround is needed, then:1) Would it be possible to customize the divider color?
2) It should also go in NEWS and /etc/PROBLEMS
The best case of course is if this can be fixed before 26.1 release.
Kaushal Modi