HACKING: Document regenerating configure.