It wouldn't take that much work to change markup languages, or fix the UI of something like mediawiki or dokuwiki to something that's more amenable to those industries, if they don't like the defaults. Mediawiki might be pretty locked into a database for page storage, but dokuwiki has a git backend plugin, and some other wiki software even supports git backends natively.

Hopefully developers that had never used version control until Github had never written software outside of the classroom.

May your hopes never be shattered, my sheltered friend.