remove double-escaped HTML from developer docs - fixes #183