docs: householder.exe