Intern[ed]: performance documentation