add a design note to src/help/help_impl.?pp