less than 5 minutes. Using this level as an example, I'm wondering if
the "hard" rating refers to, or if it should refer to, any solution,
or the just ghs solution? I didn't solve the ghs for this level yet,
so I didn't get to re-rate it "medium" or "easy". I always assumed
that the rating indicated the difficulty to solve the level by any
method. The ghs method, of course, is usually more difficult. Some
people even explicitely have multiple soutions of varying difficulty.
-Steve