Clarify mechanism behind rbfmt