Yeah those names are mashups of real people's names who appear in these contexts, e.g. Yuri Milner. I probably would have said "name rings a bell" to both of the made-up ones. They really do and were maybe engineered to.