Skip to content

Add field to find parts of extension names (was in in the old ter)

Closes #135 (closed)

Merge request reports