Electing the Doge of Venice: analysis of a 13th Century protocol · HackerTrans