Defexception ... functions overridable?

It’s correct. The behaviour requires it, and the defexception macro gives you a default implementation; agreed that the verbiage is slightly confusing.