Changing repo and version for the forums to EDUlib and edulib.