===> Cleaning for easymenu-0.7.2