Hey all, From the earlier discussion on this, I got feeling a consensus had reached that this is a good idea, as long as we check that latexmk is available first. As such, here is a patch changing the default LaTeX compiler to latexmk --- as long as it's available. For what it's worth I've been using this exact command in my personal config for months now, and it's worked excellently. -- Timothy