An utility to extract documents from HUDOC DVD.