Ask HN: Revenue from paid Wordpress plugins?

Has anyone built a paid Wordpress plugin? What did your sales figures look like? Where/how did you sell it?