User's Guide: remove outdated info on kind inference