v7.1.5: Discarder as a first-class option

A few not-so-major changes:

• Move "discard in place of suspend" option to the main options.
• Drop notice checker from upstream's github.io page.