Revert a dom0 update

Hi

I did a qubes-dom0-update --enablerepo=qubes-dom0-security-testing
Now, how do I revert it?
Tried to follow /doc/how-to-install-software-in-dom0/#how-to-downgrade-a-specific-package
I’m sure there is a quick way to do that.

qubes-dom0-update --action=downgrade qubes-gui-dom0 (qubes 4.0 package name is different)
it says after Downgrading (red):
No match for available package: qubes-gui-dom0-4.0.13-1.fc25.x86_64
No match for available package: qubes-gui-dom0-4.0.15-1.fc25.x86_64

dnf downgrade gives the same result.

Thanks!

sudo qubes-dom0-update --enablerepo=qubes-dom0-current-testing --action=downgrade qubes-gui-dom0-4.0.14-1.fc25.x86_64

and please open an issue according to your bug before.