ctrl + enter to go to document website
Merge branch 'master' of https://github.com/sharkdp/PaperLocator

Conflicts:
	pl.js