Update the code to use the new NotaManager semantic.