missing dodeploy file in the dashbuilder runtime distribution

The dashbuilder runtme deployable comes as a zip file contains a folder 'dashbuilder-runtime.war' which has all the files needs for deployment. But the 'dashbuilder-runtime.war.dodeploy' file is not available in the zip file.

As per the documentation:

MARKER FILES

The marker files always have the same name as the deployment content to which
they relate, but with an additional file suffix appended. For example, the
marker file to indicate the example.war file should be deployed is named
example.war.dodeploy. Different marker file suffixes have different meanings.

The relevant marker file types are:

.dodeploy – Placed by the user to indicate that the given content should
be deployed into the runtime (or redeployed if already
deployed in the runtime.)

I believe we should do any of the below to overcome this issue:

1. Update zip file by adding dashbuilder-runtime.war.dodeploy file as the sibling for the folder "dashbuilder-runtime.war"
2. The distribution should be a war file which could directly copy to the deployments folder.