Cleanup the manual after #200