debian-edu-doc 1.5~20131001~7.1 is marked for autoremoval from testing on 2014-10-17 It is affected by these RC bugs: 762025: debian-edu-doc: d-e-doc: scripts get_manual fails