As per the discussion in the dev list, we'll try our luck and approach the owner of jenkins.org if he's willing to sell the domain for us.

If he's open, we'll have to figure out where to find the money and how much we can spend on things like this.