The article mentions it not being bug-free, what are some of the bugs?
All known correctness bugs are fixed (except experimental features) - this is just a reminder that you need more than one layers of defense for something that stores your critical data.
Otherwise it is a pretty meaningless thing to say. Not even formally verified software is definitely bug free.