Really.. what, exactly, was the registry size with options fully diluted 6 months ago.. thatd be november 2017..? Id be keen to know.