Festa del Redentore a Venezia, istruzioni per l'uso