remove checker now that it is in fsharp-mode
sundry tweaks