The words [[ and ]] which switch into and out of the POSTPONE state were introduced a while ago. They turn out to be very useful.
But the documentation (section 4.29.2) states ...
"The ]] ... [[ notation is experimental and my be removed in a future version"
Can you confirm that these words are now official?
