Allow matching timestamps to be removed by fetch_timestamp().