Add missing copyright header to the `core/user.lgt` file