Some rephrasing on extended semantics
Switched docs to RTD default theme