UTF-8 fixes and switch to WaveDrom v0.9.5