Add some more use of raw_id_fields for user bans, and more filter options.
Fix broken link in docs

Fix link to Vagrant NFS documentation in installation-vagrant.rst
Merge pull request #1126 from timchurch/master

Fix broken link in docs
Merge pull request #1123 from ubernostrum/ban-middleware-869480

More ban-admin tweaks
fix bug 871638 - fix list for dupe named tags

some tag names evaluate as equal between ascii & non-ascii representations
fix bug 821986: Strip out attributes starting with "on" from Document content before rendering editor
Merge pull request #1125 from lmorchard/821986-filter-editor-html

fix bug 821986: Strip out attributes starting with "on" from Document content before rendering editor
Remove old hostname in installation-vagrant.rst
Merge pull request #1128 from openjck/vagrant-hostname

Remove old hostname in installation-vagrant.rst
Merge pull request #1127 from groovecoder/multiple-objects-tags-871638

fix bug 871638 - fix list for dupe named tags
fix bug 875780 - Prevent empty docs from bombing requests
Merge pull request #1129 from darkwing/empty-document-sections-875780

fix bug 875780 - Prevent empty docs from bombing requests
Update docs landing links
Help remove first slash in page moves
Merge pull request #1133 from darkwing/docs-links

Update docs landing links
Merge pull request #1134 from darkwing/move-helper-js

Help remove first slash in page moves
fix bug 876020 - Modify dev derby landing
Merge pull request #1131 from darkwing/dev-derby-876020

fix bug 876020 - Modify dev derby landing
Update devderby link href
Merge pull request #1135 from darkwing/derby-update

Update devderby link href