Det finns inga bevis för att Google för närvarande är eller någonsin har utvecklat sitt eget operativsystem för onlinepoker eller på annat sätt.