Minor bug-fix release.

The extension’s panel size should now be stable, thanks to a validated manifest. Additional cosmetic changes round up this version as a minor update.