Update the Reference Manual entry for the `[]/1` control construct