No external code makes use of this header, so we can freely change the
namespace.