Ask HN: Who's got domain names for sale or lease?

This community probably has a large inventory of unused domain names that could be put to better use. If you're like me, you have a bunch of names that you think you might want to use someday but haven't done anything with. You may also have domains from discontinued side-projects. If you'd consider selling or leasing some of your domains, please list them in a comment below along with some contact information.