The article explicitly says that they had been using lighttpd, started switching to nginx because lighttpd appeared to go dead, and were now switching back because lighttpd had resuscitated while they were worried about F5 taking over nginx.