selenium.tex: Sync with upstream