This is not a pretentious name in any way. (I was actually too uncreative to find a non-pretentious name...)