Even though this may have nothing to do with this list but for your information the 2.4.0 Linux kernel was released today! Patrick