Fix broken links to posts

sorry, should have done that directly. For all posts that changed category in MR !951 (merged) I now added a redirect to the old category. Should fix the problem in hifis/docs.