Maintenance: AvalonEdit updated to new version