HTML entities in intro.md