Apparently, this should work.  It doesn't.  But this is how it should
work.  Dunno yet if it doesn't work because of a bug, or because of
something layer 8, but either way this is the way it should work, and
we need to fix it rather than do it differently.