This is a minor update. Benchmark scores are not affected.

Fixed

• Improved the search filter for the benchmarks page.
• Minor updates to German localization.