Okay. We have seen arguments/point of views from both (many?) sides. The readers are smart enough to make their own judgment/decision. Now, it is time to move on. Shall we? Keep up the good work, folks. -- budi, trying to find a machine to install GNU/Hurd again...