Testing PR formatting

The following paragraph should have two differently formatted
ampersands.

Here &amp; is an HTML formatted ampersand. Here & is just a
normal ampersand. They should look different.