Like someone pointed out in the post itself, since this is intended for use by developers and not end users, I'd say it doesn't matter what it's called.