Looks like @hjm hasn't received any replies!