I filed an RFE to add support for updating to a specific manifest version to Prospero - https://github.com/wildfly-extras/prospero/issues/754 

The changes are mostly to the Prospero tool, but, to keep feature parity, some changes will need to be made to the JBoss CLI commands and Web Console as well.

Since Prospero does not support stability levels, those changes need to be handled as default level (AFAIU).

Thanks,

Bartosz