A person, not a machine, was probably ultimately the cause of the short-lived flash crash in the pound sterling.