Lobsters: New major release of devenv