fix @doc command

Hi, \bot used to complete @doc System.IO to a broken link. With this version, the correct link is returned (with capitals). Also this updates the DocAssocs index.