tip-box is not documented and can be deprecated

[jovyntls]

Is your request related to a problem?
MarkBind currently supports using both <tip-box>...</tip-box> and <box>...</box> used to make boxes.
tip-box is not documented, but is used in multiple places in our docs. Both support the same attributes and have the same behaviour. I think this is caused by vue-components registering both box: tipBox and tipBox as components:

Describe the solution you'd like

Since box is documented and more widely used, we could deprecate tip-box by

• Keeping only box: tipBox in vue-components/src/index.js
• Change all usages of tip-box to box

Describe alternatives you've considered

Alternatively, we could document tip-box and officially support it, but I think it may be confusing and unnecessary to have two different names for the same component.

[tlylt]

Looks like it was initially mentioned that box is an alias for tip-box in this PR. Seems like it was removed when the docs were updated later on here.

[jonahtanjz]

Alternatively, we could document tip-box and officially support it, but I think it may be confusing and unnecessary to have two different names for the same component.

Agree with this, I think it's better to remove tip-box altogether.