Make the generated RSA keys a bit less aggressive.

5888 is supposed to be roughly equivalent to 180 bits of keyspace,
which is what I use for passphrases, anyhow.

invalidate_key.sh

@@ -1,6 +1,7 @@
 #!/usr/bin/env bash
 
-while [ ! -z $1 ]; do
+while [ ! -z $1 ]
+do
     echo "We will delete the key for the system known as \"${1}\":"
     ls -l ~/.ssh/valid/id_${1}.pub
     echo "Press enter to continue..."