Added the env menu.
Minor changes to menus.
Seems useful.
Simplified `elxiki-line-goto-next'.
Filter unfolding added.
Extra filtering capabilities.
Added documentation for filtering.
Fixed several filtering bugs.