Merge code for include_snippet and include_example.

The latter is a special case of the former, now they behave
consistently wrt interpretation of #@ and friends.