Looks like @grau hasn't received any replies!