Migrate #document-list rules from wiki-screen
Remove previously-migrated diff rules

/me dusts hands off
Merge pull request #2376 from openjck/migrate-document-list-and-diff-rules

Migrate #document-list rules and remove diff rules