Certainly that would be the best course of action.

But until we do so (which might take some time) I think we ought to indicate
that the game cannot be won.

Of the top of my head we ought consider the death of the following bots/dialogs
as making the game un-winnable:
HF-EntranceBot
Kevin
KevinGuard
Spencer
WillGapes