add note about ediff's broken handling of refinement colorization
small theme tweak