Some work towards using Greek symbols in our Viewer widget (#303).