Add noscript warning
Update FAQ
Basic related trait tabs for Space#show
Include and show Trait names
Add js filtering
Unify related trait display for basic models
Add loading spinner
Merge branch 'related-traits'
Fix math rendering error; minor footer tweak
Add some theorem reversal information
Style 404 and 500 pages
Add user show page with revision details
Enable signups
Show word diffs for revisions
Fix trait table template
Restore link to proof explorer