Bash allows these characters to have different case logic. Now only ';;' is supported
Developer retired (and his mail address is not active anymore)