This reverts commit 6715f24fd0.
6715f24fd0
This feature requires an update to boot1.js, as shown in this commit. Users with an older boot1.js will get the older inexact filtering.