I found it confusing, too. In the detailed changelog it seems that some PRs for following remote users have been merged, but I assume it's not complete/usable, yet. So from what I understand, no new "usable" federation features made it to the v13 release. Please correct me, if I'm wrong.