@e76450df: Interesting suggestions! @jb55, what do you think about these names? Do you have any other ideas in mind?