Introduced the txwinrm module and started the modeler plugin.