Users keep building non-release builds by copy-pasting the commands from
here.
As this uses a standard build flag (and not `-DBINARY_RELEASE=ON`),
users who are familiar with CMake or are building for development
will know to remove it.
Meanwhile, users who simply want to build from source will benefit from
optimized builds.
[ci skip]