[19:31] <renton_> do you know a simple midi editor for gnome?