These are tests that we couldn't turn into an automated test for one reason or another. They should be run and confirmed successful before making a release. *: {wiki: ManualRegressionTestsKbdd Test that the kbdd works} *: {wiki: ManualRegressionTestsVmUniverse Test that the VM universe works}