Take out documentation of old workaround
Fix broken internal link