revert last commit, as the docs say it does, even if it does not seem so in practice
revert last commit, as the docs say it does, even if it does not seem so in practice

JackieXie168/skim,JackieXie168/skim,JackieXie168/skim,JackieXie168/skim,JackieXie168/skim