Reintroducing Copyright Formalities: Controversies and Challenges