org-agenda file list management: tweaks+fixes