Diversion numbers
=================
The builtin `divnum':
divnum
expands to the number of the current diversion.
Initial divnum
=>Initial 0
divert(1)
Diversion one: divnum
divert(2)
Diversion two: divnum
divert
=>
^D
=>
=>Diversion one: 1
=>
=>Diversion two: 2
The last call of `divert' without argument is necessary, since the
undiverted text would otherwise be diverted itself.