documentation; remove unused file