Checkpoint.
Keyboard shortcuts and misc other changes.
Rename repository.
Improve source link representation, misc fixes.
Switch fully to new source positions, misc fixes.
Add head profile to advertise OpenSearch.
Merge pull request #91 from AlekSi/opensearch

Add head profile to advertise OpenSearch.
add a pilcrow with a permalink to the section next to section headings

Makes passing documentation around via chat/email much easier as the
person sending the docs can just right click and copy the address at the
pilcrow, sending the recipient directly to the section of interest
create separate class for pilcrow, show only on mouse over
Miscellaneous fixes and improvements.
Correct & expand dev environment setup instructions
Update README with information on secrets.json file
Merge pull request #98 from mipearson/update-readme

Correct & expand dev environment setup instructions
Improve secrets.json instructions.
Merge pull request #99 from marcw/secrets-documentation

Update README with information on secrets.json file
Update to BS3 and other improvements.

- Update to Bootstrap 3.
- Eliminate server Makefile
    - Write CSS directly instead of using less.
    - Concatenate js and css files at runtime.
- Fix capitalization of GitHub.
- The 'jump' to export feature is disabled for now.
Cleanup problems introduced by BS3 update.
Fixes unnecessary space between date and period in html template.

Removes unnecessary trailing space.
Merge pull request #102 from shurcooL/space-patch

Fixes unnecessary space between date and period in html template.
Miscellaneous improvements.

 - Reorganize background task code.
 - Add Go subrepo page.
 - Add more project reference regexps.