Apply misc fixes spotted by Diego to indevs.texi and outdevs.texi.