Open BenjaminBrienen opened 2 hours ago
If we don't want to treat "prelude" as a special symbol, then we could generalize it to prefer "sub-paths".