Я не обращал внимание, как именно отображаются пользователи, работающие на текущий момент с документом google docs, но на сколько я вижу, они скрываются в соответствующей панели справа.
Но сегодня увидел следующее:
Ранее я в логах доступа (если документ не закрывать, в правой панели видно историю подключений к документу) видел человека с таким именем (правда обычно там Анонимный пользователь xxx), но тут даже панели такой нет.
p.s. кстати значок побыл буквально несколько минут, потом исчез!