My main goal was to get pyinstaller working when installed. Where should be the doc installed?