[pdfernhout]

Thanks for the replies. Having to add "proxy" or similar everywhere is the ergonomics issue to me (others might disagree).