Explain why code search and linting are "disastrously bad things hands down for regular development".