I verified this seperately just now, without this code a `1/0` silently renders an exception into the documentation.