And furthermore (too late to edit) -- perhaps we could see apps regarding instant run-off voting instead of that stupid farm game... (Also, I blithely ignored

And furthermore (too late to edit) -- perhaps we could see apps regarding instant run-off voting instead of that stupid farm game... (Also, I blithely ignored the Git / VC angle that might have been the original post -- my apologies...)