> I see two potential homes for this: 21.12 "Scroll Bars" and 21.13
 > "Window Dividers".  We can mention it in both, one a full description,
 > the other just a short comment and a cross-reference.  WDYT?

See the attached patch.

martin