Complete documentation.
DZ: add PodSyntaxTests, remove ExtraTests
DZ: add CheckExtraTests