Good evening, everyone.
If possible, i'd like to delete my benchmarks too (https://openbenchmarking.org/user/eb950).
Thanks in advance!