Looks like @pitagoras hasn't received any replies!