Text this: Handbook of weighted automata