Text this: Real-time measurements of electron density spatial distributions in a mini-arc plasma by dispersion interferometry.