in script/doc.js [43:51]
document.onready = function() { try { check_flag(); raise_flag(); add_toc(); } catch (error) { // uh oh } }