Add documentation for the new `[]/1` delegation control construct