The documentation refers to a 'revisiting backend' (e.g. https://frontera.readthedocs.io/en/latest/topics/frontera-settings.html#revisiting-backend) but this appears to have been removed. I guess those parts of the documentation should be removed?