Debugging auto_mark_as_read setting