docs contains generated output from build.sh; gitignore it.
Loader.js: Fix a layout bug noted by Brendan, and improve the wording on that comment.
This affects neither spec text nor code.