Hi. Is the PID-based difficulty adjustment algorithm described anywhere? It would be great to see some formal description,  not only the source code,  it is really interesting idea.)