Fuzzy company search by name or ticker over the embedded SEC directory — top matches with CIK, ticker, name, and cross-links