They work fine, and in fact I use them most of the time when I want to quickly toss a [ and a ] into a paragraph somewhere. But the lazy solution has its drawbacks.

First, the "download code" link will also download all those [ and ] characters into whatever legitimate code you're downloading. Second, the contents between code tags gets rendered in a different font by most browser configurations.