3 ms·this is too inside baseball, but a cute joke.by compsciphd 6y agothis is too inside baseball, but a cute joke.