Looks like @dop hasn't received any replies!