In 25.11 nws, if I read in LISPM2;FLAVOR then LMMAN;FLAVOR, and do m-. DEFW altmode, it thinks there is only one definition of it, the one in the second file read in. There's a reasonable definition in the other file, too.