Release Notes - May 20, 2020

New benchmark settings and more

New

  • Benchmark settings

Fixed or enhanced

  • Translation updates
  • Several general fixes