MariaDB: Promote getting to 10k GitHub stars in July 2026

Germany has still one of the public-private backdoors to erode citizen's rights is being undermined. Such a shame.