update Anki deck, considers DEK entries only

The source of the symbolizations was reorganized, and the scope
grew further (39349 examples).  Though about 15% of the
symbolizations are not (yet again) considered, the update now
provides an extension (34176 examples vs. 25944 examples in the
previous edition).

Signed-off-by: Norwid Behrnd <[email protected]>