Report revisions: use FannieDB consistently to avoid problems with mysqli