Document use of undocumented runInThisContext flag

Accidentally removed in 2d827e74f.

Fixes #3200.