[implementations-list] fork viper?

Hi, I don't use Viper myself so take this with a grain of salt.. Have you considered forking viper, instead of having all these modes that run on top of it? Having many modes that must work in concert with each other introduces a level of complexity that was a large part of why I decided not to use Viper anymore. -- John Foerch