Is there a setting somewhere to indicate which Powershell version to use? The default is 5.1, I have 7.3.x scripts. Also, how can I change the font of the terminal? My $profile is using oh-my-posh for the powerline prompt with the powerlevel10k_rainbow theme. For that to display correctly I would...