Editors of Wikipedia's list of disliked videos switch to real-time mode