Looks like @simch hasn't received any replies!