Sorry Sam, but the particular edge there still wasn’t hard-enough (didn’t know I should say “hard-edge” in English, nice to learn it finally).
Anyway, here is another solution I just created that does indeed give the hard edge I needed. Its less minimal, but it exactly what I needed: