Revert company mode due to lack of speed when Tramp and huge TAGS