Remove out-of-date section on Exact/Inexact.