This name was suggested by @mblondel and I think it was a good idea. It's not difficult to change it again if a better name is found.