os: shorten troubleshooting URL.