[COMMIT] Make #'compare-menu-text more Mule-clean.