[implementations-list] viper-in-more-modes for Haskell, Ruby, Prolog, and maybe AucTEX (was: Re: viper-in-more-modes)