Since this has been reopened, I'm going to repeat what I said in the meta thread before this question gets closed again:

stick the simplified proof on the nLab and cite that

This is a completely serious suggestion. You have an improved version of the proof (whether it is globally improved or just locally improved[1]). It's not "original research" so an "Established Journal" might be reluctant to publish it[2]. But hordes of other mathematicians will be interested in reading it so it should be put somewhere that they can find it. This seems a perfect fit for the nLab.

If you have it written in reasonably standard LaTeX, I can even help you get it into the right formatting.

[1] A global improvement is one that anyone reading the original proof would be interested in, a local improvement is one that anyone reading your result that depends on it would be interested in.

[2] Insert standard rant about journals here.