rustdoc changes: .notrust is in effect!