Another step towards keyword-symbol integration
More docs
More docs
More docs
Doc translation