Manual edits

GitHub Issue: #1 State: open Labels: enhancement, frontend, pipeline

Description

Migrated from deprecated-nagelfluh #1 (originally by @redhog)

Manual editor for in-use flags for manual processing