A docbook formatter