I, for one, think it's Not Good that 10M VSCode users are running a plugin from "tomoki1207" in order to display pdf files. Like, maybe that should just be a built-in thing. But what do I know.