Just a quick note - The FLR credits Proposal 7778 (in various places) as:
Amended(21) by P7778 'Instant Runoff Improved' (Alexis), 14 Aug 2014 But in fact I submitted it: https://mailman.agoranomic.org/cgi-bin/mailman/private/agora-business/2015-July/033799.html And it was actually adopted on 14 Aug 201*5*: https://mailman.agoranomic.org/cgi-bin/mailman/private/agora-official/2015-August/011118.html Confusing things further, the resolution message incorrectly lists the author as yet a third individual – scshunt – and it would have self-ratified under rule 2034... though I'm not sure whether self-ratification would affect the type of historical annotations involved here.
