There are two different APIs with different functionalities!
Should I decide and choose one of the two?
Are there advantages or disadvantages when using one or the other?
Does it make sense in some cases to use both?
Does only REST API support pushNotifications?
I did not found any information about pushNotifications in the documentation of WebSocket API.