Correct or remove

TOCCATA: Certified Programs, Certified Tools, Certified Floating-Point Computations

No account needed. A person reads every request. A removed card stays removed when we refresh the data.