gjm comments on Happy Ada Lovelace Day