Added <progress> tags to our export format. This will be used by future tools to...