I don't like this official/unofficial distinction. It sound, er, officious. -- Larry Wall in <199702221943.LAA20388@wall.org>