// This file isn't needed any more, and can be deleted once all references to 
// it are removed.
// 
// Use lreader.js instead.
//
// SJL, 27 January 2000.