On Tue, Jun 01, 2021 at 10:18:43PM +0300, Eli Zaretskii wrote: > Please use @code{exit}, without the parentheses. The way you wrote > it, it looks like a call to 'exit' with no arguments, which is not > what you mean. Ack. Thanks for the fast review!