clarifications regarding the scope of xdoc/fancy/LICENSE

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2208 303c5b2c-9740-0410-b014-fd8f9db7be32
xdoc: actually use broken-link topics when someone clicks on broken links

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2209 303c5b2c-9740-0410-b014-fd8f9db7be32
Fixing a typo

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2210 303c5b2c-9740-0410-b014-fd8f9db7be32
Fixing a typo

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2212 303c5b2c-9740-0410-b014-fd8f9db7be32
Fixing a couple typos

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2213 303c5b2c-9740-0410-b014-fd8f9db7be32