should we have a static `EMPTY_TOP_DOCS` ?