Documentation for regular users of Devilry.