document unsafe_pointer_to_objref
Merge pull request #2487 from stevengj/master

document unsafe_pointer_to_objref