> would’ve just run circles around microproblems like whether the more verbose “remove_directory” is more usable than “rmdir,”

I suspect a lot of published research is just basically that. But more papers are more better and means more money for next year so people do that