Twenex logical device confusion

[JAR at MIT-MC (Jonathan A. Rees)]

With a current directory of <REES>, and with LOGIN.CMD files
existant on this directory and on <RLB> and <RWK>, and with the
file X.START present on <RWK> but not on <RLB>, and with

@define foo: <rlb>,<rwk>

we get the following results when applying NAMELIST, NAMESTRING,
and PROBEF to various arguments:

Arg		  PROBEF
|FOO:LOGIN.CMD|	  ((PS RLB) LOGIN CMD /2)
((FOO) LOGIN CMD) ((PS REES) LOGIN CMD /2)	;Choke!
|FOO:X.START|	  NIL				;Barf!
((FOO) X START)	  NIL

Arg		  NAMESTRING	    NAMELIST
|FOO:LOGIN.CMD|	  PS:<RLB>LOGIN.CMD ((PS RLB) LOGIN CMD *)
((FOO) LOGIN CMD) FOO:LOGIN.CMD	    ((FOO ||) LOGIN CMD *)
|FOO:X.START|	  PS:<RLB>X.START   ((PS RLB) X START *)
((FOO) X START)	  FOO:X.START	    ((FOO ||) X START *)

This is inexcuseable, there are so many bugs here.  I hardly know
where to begin.  Poor maclisp just doesn't know anything about Twenex
logical names and search conventions.  Rather than try to figure out
just what's wrong here, I'll give suggestions as to what I think the
proper results ought to be:

Arg		  PROBEF
|FOO:LOGIN.CMD|	  ((PS RLB) LOGIN CMD /2)
((FOO) LOGIN CMD) ((PS RLB) LOGIN CMD /2)
|FOO:X.START|	  ((PS RWK) X START /2)
((FOO) X START)	  ((PS RWK) X START /2)

Arg		  NAMESTRING	NAMELIST
|FOO:LOGIN.CMD|	  FOO:LOGIN.CMD ((FOO) LOGIN CMD *)  ;Or leave in the ||
((FOO) LOGIN CMD) FOO:LOGIN.CMD	((FOO) LOGIN CMD *)  ; if you prefer.
|FOO:X.START|	  FOO:X.START   ((FOO) X START *)
((FOO) X START)	  FOO:X.START	((FOO) X START *)

P.s. I'm not on the BUG-LISP list, but I would appreciate getting CC'ed
any replies.  This is a real problem, about which I have had many
complaints from the Yale users.