BRANCH 4.2-105: fixed handling of extensions by embed_wdg.  Other minor
fixes.
Merge branch '4.2-105' of https://github.com/southpawtech/TACTIC-DEV into 4.2-105