Status update: There are some discussions in upstream mailing list / bug tracker about potential performance regression. I will not rush to upload MariaDB 10.11.12 this weekend, but wait for clarity on upstream issues first.