Comment by youeseh

I think it's a great name! It is recognizable and well-associated with what you're building, even if the name-story accuracy isn't 100% - I think that would be serious nitpicking and you can always rename it something else later when the cost / benefit makes sense.