literature, formatting and gtk-wave are left