Audacity 4: a glimpse of a new, more modern UI for the free audio editor