Add filter to file explorer panel
Fix #29: replacements using escape sequence or group matching is now possible
Adjust handling of document