holoirc: don't autocorrect on server URL
Merge branch 'release-3.0.2' into develop