Improve backward-search implementation and update docs.