Charles:

It says Ole Jørgen Anfindsen in my text now. The HTML there should have been rendered as an ”. Might be some code that needs fixing ;)