Push Bot
Compile: use latexmk (-xelatex -f) first; accept PDF even if return code non-zero
db0616f