A few minor optimizations + better ordering of systems in manselect()

schema.sql

@@ -1,7 +1,7 @@
 
 -- TODO: "system" -> "repository"?
 -- TODO: index of (reverse) man page references?
--- TODO: Probably want an index on man(name) and man(hash)
+-- TODO: Probably want an index on man(name). Or try swapping column order in the unique index.
 -- TODO: Use some consistent naming of tables and columns
 
 
@@ -49,6 +49,9 @@ CREATE TABLE man (
 );
 
 
+CREATE INDEX ON man USING hash (hash);
+
+
 INSERT INTO systems (id, name, release, short, relorder) VALUES
   (1, 'Arch Linux', NULL,   'arch', 0),
   (2, 'Ubuntu',     '4.10', 'ubuntu-warty', 0),