While there might be a point in delaying panel un-hiding (accidental mouse movements), it also delays user interaction (read: it annoys the heck out of me). I think an *overall better experience* could be achieved by removing this delay completely and keeping only the hiding delay.
I think this can be configured (even if it's a hidden option for now) so I consider this resolved.