[minhateca] Add extractor (Fixes #4094)