tramp and htmlmode or etc