Users in question were marked by DT. But, since Lauda's exclusion, those marks are gone. Other DT members may consider tagging again.