Update the user manual for the new `include/1` directive