In reply to https://jan.boddez.net/notes/90f91de863. Or maybe I should …

Or maybe I should just leave it, even if it means its behavior will have changed ever so slightly. (The difference is that, as of version 0.13, both setting and filter are ignored for posts over a day old, to prevent the accidental sharing of older posts. Before, the filter would be in effect always. Good chance no one will notice.)