The previous name, F-Droid-Privileged, made it look like it was a replacement for F-Droid. The full name, F-Droid-Privileged-Extension, is too long.
Daniel Martí