documentation: Update (i.e. mostly delete) information regarding current_ir_graph.