@blogenfreude: That would be the link in your comment, and there was indeed an "hred" typo, now fixed.