It's also in the help, but of course only after reporting the bug and not before it. It just depends on your Zorro version. The latest version can always be found under "beta" on the download page, and all known bugs are usually fixed in that version.