Damian Gerow <dgerow at afflictions.org> writes: > Ack. I just noticed that 'pentiumpro' is also mis-spelled 'penitumpro' as > well... PR time, I think. No, that was fixed two months ago (rev 1.261) DES -- Dag-Erling Smørgrav - des at des.no