Fix paths to docs in "Start Menu" entries in Windows installer; fixes #3847