rename man9 => 9man sorry
diff --git a/bin/man9 b/bin/9man similarity index 100% rename from bin/man9 rename to bin/9man
