Updated Spanish translation
Doc: index of new symbols in 3.4

There are new symbols in the 3.0 and 3.4 versions. The index for older
versions are omitted. And the index for versions without new symbols are
also omitted.
ContextEngine: reformat the header