feat(frontends/lean/server): CLEAR_CACHE forces buffer to be reprocessed