Markado (Experience-proof of RP's First Automated Election)