options: fixing option parsing
sphinx: support parallel builds more flexiably
table: better unicode handling