What a coincidence: just earlier today I noticed that normal search with "Tools/Past month" does not in fact filter by date (last time I used it some weeks ago,

What a coincidence: just earlier today I noticed that normal search with "Tools/Past month" does not in fact filter by date (last time I used it some weeks ago, it had always worked fine). A temporary bug, I hope.