Document new options in waveform plot plugin
Fixed non-ascii characters in internal console