Looks like @bernt hasn't received any replies!