From mboxrd@z Thu Jan  1 00:00:00 1970
Date: Fri, 22 Dec 1995 14:14:08 -0500
From: td@plan9.att.com td@plan9.att.com
Subject: More ATAPI questions
Topicbox-Message-UUID: 3912e742-eac8-11e9-9e20-41e7f4b1d025
Content-Type: text/plain; charset=UTF-8
Message-ID: <19951222191408.40IsrLq8_LHzI1qEhojG2mzqGijWtaIYieMAlg_-s-Y@z>

"Luther Huffman, Jr." <mail.infinet.com!lutherh> wonders:
>   Along more trivial lines, is there a name for file names that 
>begin with '#'? The documentation only refers to them as "roots of a 
>file tree implemented by a kernel device driver". This is rather 
>cumbersome, rather like "The Artist Formerly Known as Prince".

Funny you should mention it.  They used to be called `kernel devices',
but then they had a fit of arty pretentiousness and changed their
name to ☺.  The press release explained that from now on, while
this was the preferred typography, the UTF-unaware could refer to
them as `the files formerly known as kernel devices.'