Bug fix #85: Info box snippets lose line-feed characters on Android (4.4)