I’ve assumed the use something outdated like paper orders, but yes, there might be some sort of a ticket «kill Navalny» that has gone through some interesting states and comments.