Scribd's decision to dump flash pays off, user engagement triples