Configure help-at-pt
flymake tweaks