Expected behavior when releasing a button after pointer capture

If an element has pointer capture enabled and you move out of the element
into another element, then release the button, what is the expected series
of events after releasing the button?

In IE11, you only get a pointerup event on the capturing element. The
pointer must then be moved again in order to get pointermove, poinerover,
and pointerenter on the element that's currently hovered.

The closest scenario I can think of with mouse events is having an element
appear directly under the mouse. I believe Firefox is still the only
browser that fires events when the element becomes visible. See
http://dev-test.nemikor.com/behavior/mouseover-when-element-is-shown.html

Should we document this behavior to ensure it's consistent across browsers?
What's the current behavior in the Firefox implementation?