Benya comments on An angle of attack on Open Problem #1

[Benya]

I seem to have fixed the remaining problems; new proof attempt here.