(mip-mode :fetcher github :repo "gaudecker/mip-mode")