Docs: Explain different taus

It is not clear what tau_task, tau_nullspace and tau_ext is