= Update to SLANG that is part of MOST and JED from John Davis. 