1. The prefix is useful to know.
 2. The full list contains distractions and makes the page feel less authoritative.
 3. New/future projects aren't likely to go into JIRA.

The `HR` project in issues.civicrm.org was used for CiviHR 1.0-1.4.  When
the project was transferred to Compucorp, they moved issue-tracking to a
private system.  The JIRA `HR` project only exists for historical purposes.

The example command works if you've manually installed the `hub` with all
the suggestions in upstream's guide -- specifically, they suggest aliasing
`git`==`hub`.  However, in `civi-download-tools`, we download the `hub`
command but can't setup the alias.

Documenting commands as `hub <foo>` should make them more robust/portable to
more configurations.

hook_civicrm_angularModule - Add basic doc for `settings`

Add in some documentation on PHPIDS

Clarify that PHPIDS is not just about inputs which are saved to the
database, but actually all inputs (e.g. GET params) even ones that
aren't saved to the DB.

Migrate Token Documentation

ref:
https://docs.civicrm.org/dev/en/latest/documentation/style-guide/#describing-the-civicrm-user-interface

Update more wiki urls

Remove references to legacy extension types

Fix Wiki URLS to point to correct docs url

ref:
https://github.com/civicrm/civicrm-dev-docs/pull/301#issuecomment-324795431

Import "Verify a bug fix" wiki page

https://wiki.civicrm.org/confluence/display/CRMDOC/Verify+a+bug+fix

Clean up mkdocs.yml

Migrate CiviMail Reference Document