drupal.org username is already taken

I would like to change my drupal.org username to “kevindb” to match my username on github.com. When using the Profile Edit form, I get the message “The name kevindb is already taken.” However, there does not seem to be a user at https://www.drupal.org/u/kevindb

Is there anything that can be done to “free up” this username?

Thank you

Source: https://www.drupal.org/taxonomy/term/2/feed