No, they're still there, but since @vans reported it, they should be removed when the moderators come by.