Normal coactions extend to the C*-envelope
We show that a normal coaction of a discrete group on an operator algebra extends to a normal coaction on the C*-envelope. This resolves an open problem considered by Kakariadis, Katsoulis, Laca, and X. Li, and provides an elementary proof of a prominent result of Sehnem. As an application, we resolve a question of Li by identifying the C*-envelope of the operator algebra arising from a groupoid-embeddable category.