v8.3.3
I'm not sure what's happening here, but encoding this document tag to JSON yields a bizarre result: