Update Ibrahim et al.

[danielru]

https://doi.org/10.1145/3732775.3733574

[github-actions]

I detected a duplicate based on the key IbrahimEtAl2025. I will augment it with a letter and try again. Please double-check, if this is correct.. my duplicate detection algorithm is pretty bad.