Have them write unit tests for a few functions until they reach some high bar for coverage maybe? That would seem hard to do without reading formal docs. And might show why they are sometimes important.