Mention that the default filenames for tincd -K should be used.