I dunno, I got that link straight from codecombat’s facebook page. You may very well be right, but that’s not how I would read that page.
Also, some people had a retroactive unlocking problem and had to replay a level to get access to Destroying Angel, see here:
Seems like this might be a similar issue?