Add a section about debugging and removal of MPIR, yadda yadda yadda (at least some of this can come from the “parallel debugging” FAQ section).