Apparently we're editing file revisions like cavemen now.

Call this one "2"
Flashbacks to manually editing zone files here.
I may end up going with YYYYMMDD numbers like I sometimes did in
zone files, but maybe I'll just do the single number thing... not
really sure yet.

exec/load/binkp.js

-const binkp_revision = 1.124;
+const binkp_revision = 2;
 
 require('sockdefs.js', 'SOCK_STREAM');
 require('fido.js', 'FIDO');