Real-time collaborative editor for solving crosswords