Re: [Crash-catcher] [PATCH 0/7] CLI short options