Lessons learned from writing ShellCheck