Re: [PATCH] ui: Mark the '-no-quit' option as deprecated