@vnikolov @kentpitman @dougmerritt @screwlisp I merely wished people to consider the POSSIBILITY they MIGHT have a use here. (As an aside: Their uniqueness can be assured for all purposes nowadays by UUID, and already could have been by putting them in a subdirectory of /tmp. Their destruction was never a REAL problem, because the shell provides for that sort of thing. All of this is merely CUMBERSOME, not undoable. Shell programming is a PAIN.)