Selenium IDE 1.0.12 is now available and you can get it from the seleniumhq download site.
This is a minor release with nothing too huge included. But because the last one didn’t get pushed to the world, it is important to make a note of a big change introduced in 1.0.11.

We have marked the changing of formats as Experimental due to a couple lose-all-your-data bugs. As a result it is disabled in the toolbar by default. To enable it, click the checkbox in the Options menu. And because we really don’t want you to lose your data, when you switch formats you will get a big warning box. This too can be disabled in the Options menu. But if you do both of these things and your script gets sent to the abyss, you have been warned.

Changes in this release include the following:
New – Firefox 5 support
New – When upgrading Se-IDE, the release notes (these) are shown on first start
Bug – some Java format changes
Bug – some PHP format changes
Bug – the ‘Find’ button works again
Bug – generated CSS is standards compliant
New – dropped support for FF 3.5 or older