(/=) PublicHeader

Public header can now be used. It’s behavior should not change in the
future.