Thomas Klausner <wiz%netbsd.org@localhost> writes: > P.S.: The file is 44k, so I'm not convinced by the "/ is small" > argument. ;) 100 * 44k is 4400k :-) The / and /usr distinction is longstanding, I don't think we should give up on it easily.