Honour todo ignore options in custom agenda views.
Fix agendas.org name clash with org-mobile.