> Maybe the thing to do is put a new line there regardless? Doesn't seem > like it'd hurt anything. Other brainstorms? > > -jh- Just checked in this change. No one seemed to object. -jh-