Should you document in README.txt — or in the developer guide or the installation guide — where the log file is? And/or print a message with its location if doctesting doesn't succeed? ("For more details, see ...")