IONISx/edx-platform — pull request #9 by nedbat (2014-11-07 19:08:27+00:00)
Title: A few last fixes for HTML-escaped strings

A few more fixes.