Fixes #14791: document dropdown dividers