AI slows down open source developers. Peter Naur can teach us why