mkottman updated extman.lua from http://math2.org/download/extman.lua