As much as place-built hook up software go, Tinder was king