https://wwtyrd.com/tech/deloras/how-to-change-the-default-pdf-reader-on-windows.html