And I also understand why Varnish Software might not want the IP rights just in case the bot get mixed up. I actually think departing and with a new name is perhaps the best outcome.