.vimrc: map F6 to :checktime