Document "double JSON" workaround.