Thought that was funny too. The company has been around since 2016 (originally called "dashdash") and Pipes shut down in 2015, so it'd make sense as the original pitch in 2016.