CirculationDesk Export Tool for Document Library

This plugin hasn't been audited across a version change yet, so there's no verdict to give.