@shadyspotlight @EdCates We didn't call them sea lions at that time... The sea lion comic perfectly explained the problem of these exhaustive trolls though and the name stuck.... definitely moved online life forward by naming the behavior.