menu fixed, empty `py-pylint-offer-current-p' removed