document semantics option for core configuration; fix 'Show Source' to '...

...Show Math as'

Fixes #79