improve implementation of grLines
improve implementation of grLines
implement choice, unclear elements and cert attribute
implement overw
whitespace stripping for certain elemente
implement separate hand properties for strikethrough
use utf8 file encoding
modify set of unimplemented markup
partially revert 53f55adebbd2f4e5226a99f83076b091483f65a6. if your computer says it can refactor js, it's probably lying.
Merge branch 'repo-2.0' of github.com:faustedition/app into repo-2.0
Merge remote-tracking branch 'remotes/origin/repo-2.0' into text-repo
XML Sources: simplify access, support symlinking