Commit Graph

1445 Commits (1085ca4a2df7565f559512cddc2203d1fbad041e)

Author SHA1 Message Date
Omar Roth 7a8d5a391a Fix downcasting with usernames 6 years ago
Omar Roth 2a6c81a89d Add authentication API 6 years ago
Omar Roth 25359e5320 Fix typo in 404 handler 6 years ago
Omar Roth b6fff53b21 Refactor HTTP::Client calls into make_client 6 years ago
Omar Roth ae7b5fac74 Fix handling for comments 6 years ago
Omar Roth 26168a9520 Refactor CSRF tokens (using format in #473) 6 years ago
Omar Roth 3bcb98e644 Add config option to cache annotations from IA 6 years ago
Omar Roth 05513bcd1e Fix "placeholder=" text in locales 6 years ago
Omar Roth f5dd135ed8 Add 'view as playlist' option to trending page 6 years ago
Omar Roth 9c8f85741c Fix search when keyword matches operator 6 years ago
Omar Roth ca515f2eae Use headset icon for audio mode 6 years ago
Omar Roth 80c1ebd768 Support 'sort_by' in reddit /api/v1/comments 6 years ago
Omar Roth b51fd7fc13 Add view count to video items 6 years ago
Omar Roth efe86c37b2 Show subscribe text when not logged in 6 years ago
Omar Roth d20a4a8bfc Fix grid size for smaller devices 6 years ago
Omar Roth 9a7fea0447 Add playlist support to embedded videos 6 years ago
Omar Roth ae52ff93b2 Fix 404 for annotations endpoint 6 years ago
Omar Roth 80a567bf1e Fix video count in playlist extractor 6 years ago
Omar Roth ce2a3361eb Fix missing author name for channel_videos 6 years ago
Omar Roth ca9ea109c6 Add id to AdaptationSets 6 years ago
Omar Roth 2a33a746f0 Remove content type from videoplayback redirects 6 years ago
Omar Roth e8c5246645 Fix share button 6 years ago
Omar Roth 98295b85ab Add webm to dash manifests 6 years ago
Omar Roth af1823db8c Fix url in storyboards 6 years ago
Omar Roth a2ab6b89f1 Fix width and height in manifest 6 years ago
Omar Roth 5de300fb35 Fix default background color for player 6 years ago
Omar Roth 62a4c82e95 Add storyboards and fix image caching 6 years ago
Omar Roth d522c864d4 Add dashUrl to /api/v1/videos 6 years ago
Omar Roth aa8ff7ace3 Always use ucid for channel search 6 years ago
Omar Roth 4e6a931de3 Make check_tables config option 6 years ago
Omar Roth 5e141e869d Add subtitles to download widget 6 years ago
Omar Roth 611555514c Remove unnecessary XML declaration 6 years ago
Omar Roth e1c78fcbd3 Update view names to avoid collisions 6 years ago
Omar Roth 8640d6bb1e Add 'extract_polymer_config' 6 years ago
Omar Roth 28d5bedcc7 Speed up table creation 6 years ago
Omar Roth 373b890e1d Log command before execution 6 years ago
Omar Roth aad0f90a9d Add 'sign_token' 6 years ago
Omar Roth 5dc45c35e6 Automatically migrate database 6 years ago
Omar Roth b8c87632e6 Add feed link to watch history 6 years ago
Omar Roth c85903383a Fix to_json for storing user preferences 6 years ago
Omar Roth 4aededf038 Add media-src blob: to CSP 6 years ago
Omar Roth 4bc6501b8d Add 'blob' to CSP 6 years ago
Omar Roth a1b3b47573 Add CSP, STS, and Referrer-Policy 6 years ago
Omar Roth c8cf4fe09c Fix subscription_ajax for Google accounts 6 years ago
Omar Roth ca07d75405 Add '--version' to command line 6 years ago
Omar Roth ea0d52c0b8 Add support for Spanish translation 6 years ago
Omar Roth b82fb58dc4 Fix typo in handling 'controls' param 6 years ago
Omar Roth c728214af7 Fix batch importing of channels 6 years ago
Omar Roth 305d636217 Add multithreading to pubsub job 6 years ago
Omar Roth 31312747e9 Fix from_yaml in ConfigPreferences 6 years ago
Omar Roth 5ef288b840 Add 'sort_by' to /api/v1/comments 6 years ago
Omar Roth f6615a490d Allow disabling download widget for specific videos (in compliance with DMCA) 6 years ago
Omar Roth bd4f5ebcdf Add option to configure default user preferences 6 years ago
Omar Roth 1fd7ff5655 Add scheme to author thumbnail 6 years ago
Omar Roth ab7e1b42bd Add '/api/v1/annotations/:id' 6 years ago
afrmtbl a7723e6ded Implement "fields" parameter from the YouTube Data API (#429)
* Implement fields handling
6 years ago
Omar Roth 1b78001201 Use struct for allocations 6 years ago
Omar Roth 36c0eae7ed Add /feeds/videos.xml 6 years ago
Omar Roth 0ae43e242f Fix pubsub job for newly added channels 6 years ago
Omar Roth 388e58bf1e Update handling for preferences 6 years ago
Omar Roth eee973fe86 Fix host in redirect 6 years ago
Omar Roth 61769c6f9c Fix local redirects in /videoplayback 6 years ago
Omar Roth 7a0f0ca5ce Fix thin mode 6 years ago
Omar Roth 63be05146d Fix expire for prefs cookie 6 years ago
Omar Roth 9239cfb3c1 Fix redirect for shortened video urls 6 years ago
Omar Roth d70933c9f2 Fix typo in allow_ratings 6 years ago
Omar Roth 9ac2ddcb4d Fix premiere_timestamp without scheduledStartTime 6 years ago
Omar Roth 8d9569e06b Add 'unlisted' icon to watch page 6 years ago
Omar Roth c15790f230 Use user preferences in embedded videos 6 years ago
Omar Roth 13924a8353 Fix duplicate file extension 6 years ago
Omar Roth fd84b57ac8 Use tuples for "qualities" in API endpoints 6 years ago
Omar Roth 591a6b330a Remove 'crawl_threads', fix sleep in fibers 6 years ago
Omar Roth a3b767bb13 Add live now indicator to playlists 6 years ago
Omar Roth 847ee61bf4 Fix typo in APIHandler 6 years ago
Omar Roth 0c6cede287 Format files and trim trailing whitespace 6 years ago
Omar Roth 1c8075ca40 Add 0.25 to list of playback rates 6 years ago
Omar Roth 56b0952cd1 Update sources 6 years ago
Omar Roth 57c05354c2 Move 'pretty=1' into middleware 6 years ago
Omar Roth 90b5479735 Fix error message for invalid video ID 6 years ago
Omar Roth 1079c4516c Automatically recreate views with outdated schema 6 years ago
Omar Roth 7381985c79 Fix typo in logger 6 years ago
Omar Roth fd26f9f34e Add support for premieres to search and feed 6 years ago
Omar Roth 88b70973cc Add 'premiereTimestamp' to /api/v1/videos 6 years ago
Omar Roth f0658bbd09 Add 'liveNow' to subscription feed 6 years ago
Omar Roth 6e51189d4d Expire nonce on register 6 years ago
Omar Roth f1d7aa09e4 Add fix for Google cookies with no extension 6 years ago
Omar Roth 88e6b865d9 Update contact email for text captcha 6 years ago
Omar Roth d5c6d74f14 Fix loading icon size 6 years ago
Omar Roth 202f3d36c4 Bake in branch, commit, version 6 years ago
Omar Roth 9091b36249 Don't require CAPTCHA for login 6 years ago
Omar Roth 21285d9f6d Fix file extension for download widget 6 years ago
Omar Roth 2ebc773863 Add mixes to genre channels 6 years ago
Omar Roth 44f4057876 Fix issue with cookie expiration 6 years ago
Omar Roth d85020079f Add shortcuts for changing playbackRate 6 years ago
Omar Roth 956dc382ea Clean up player CSS 6 years ago
Omar Roth 99aa214859 Add 'thumbnail_id' to playlists 6 years ago
Omar Roth 405e98f429 Add 1.25 and 0.75 playback rates 6 years ago
Omar Roth a8c375fc95 Update copyright notice 6 years ago
Omar Roth 4a56a2cad6 Remove outline when clicking on player 6 years ago
Omar Roth e738e57e26 Add 'local' option to preferences 6 years ago
Omar Roth 21ebc398fa Add privacy policy 6 years ago
Omar Roth e86eb16d91 Add temporary fix for crystal-lang/crystal#7383 6 years ago
Omar Roth 1fcd1ff3e8 Add better fallback for '/videoplayback' 6 years ago
Omar Roth 58f4212aa8 Remove 'host' from query params 6 years ago
Omar Roth f01152eda1 Add 'host' to '/videoplayback' 6 years ago
Omar Roth 11ff40bcd6 Fix paths for 'local=true&raw=1' 6 years ago
Omar Roth 46e985b306 Add 'dark_mode', 'thin_mode' as query parameters 6 years ago
Omar Roth fdc014af67 Add '&local=true' to watch and embed pages 6 years ago
Omar Roth bf11a46abe Bump expire time for pubsub 6 years ago
Omar Roth 8f41130a14 Update and add missing text to locales 6 years ago
Omar Roth 9b8703cf49 Fix tab name for auto-generated channels 6 years ago
Omar Roth c4d77bc18a Use host_url for generating thumbnails 6 years ago
Omar Roth bc1e62ce51 Add 'external_port' 6 years ago
Omar Roth ce528c9783 Update sorting for subscriptions 6 years ago
Omar Roth b9c7501012 Fix typo in pubsub update 6 years ago
Omar Roth ae10052aaf Fix date parsing for RSS feeds 6 years ago
Omar Roth 10abcd519f Add RSS alternate to channel and subscription pages 6 years ago
Eugene Molotov 7380585f00
Add alternate link with rss feed to playlist page 6 years ago
Omar Roth 7557ffcda1 Mark deleted channels in /subscription_manager 6 years ago
Omar Roth bc9d70109c Fix typo in index 6 years ago
Omar Roth a65998274f Defer loading videojs-share until last 6 years ago
Omar Roth b2f4a0276a Remove "lease_seconds" from pubsub response 6 years ago
Omar Roth 99d9c3a900 Fix rows for subscribe job 6 years ago
Omar Roth e4dc430c74 Update hub topic URL 6 years ago
Omar Roth 1435516a9c Add port number to host URL 6 years ago
Omar Roth 2a1befb41a Fix sorting for latest_only 6 years ago
Omar Roth 2840d98fd4 Fix tagging for current version 6 years ago
Omar Roth 32b9c0c840 Fix tagging for current branch 6 years ago
Omar Roth 6375a62465 Clean up handling for callback endpoint 6 years ago
Omar Roth aa63c3f70e Update formatting and default feed menu 6 years ago
Omar Roth 004fb96b2f Add nonce to pubsub token 6 years ago
Tommy Miland a1af75a87f Update template.ecr
Add current branch to footer.
Add icons to footer.
6 years ago
Tommy Miland 732bd28c92 Update invidious.cr
Add current branch.
6 years ago
Omar Roth 7425700009 Update pubsub to support lease_seconds 6 years ago
Omar Roth 8e884fe115 Fix webhook endpoints 6 years ago
Omar Roth 96c09450b8 Fix column name ucid in jobs 6 years ago
Omar Roth 64cfd2296c Add support for subscribing to channels via PubSubHubbub 6 years ago
Omar Roth 17cf0772fb Set domain to be nil by default 6 years ago
Omar Roth 66605196ad Remove "detect_language" from dependencies 6 years ago
Omar Roth 2c9b148627 Add 'playlists' tab to channel page 6 years ago
Omar Roth 07ef48a07a Add length_seconds to playlist on watch page 6 years ago
Omar Roth 03f94db5e2 Fix watch filtering from subscription feed when watch history is empty 6 years ago
Omar Roth 9b202adebd Remove <hr> from footer 6 years ago
Omar Roth daf8e5b8b6 Remove array from usage statistics 6 years ago
Omar Roth f0cc7a925c Add 'lastChannelRefreshedAt' to /api/v1/stats 6 years ago
Omar Roth 057e69fe70 Update User-Agent and statistics schema 6 years ago
Omar Roth 4be82c5ca6 Add /api/v1/stats 6 years ago
Omar Roth 0eaf8f38a1 Add support for Basque translation 6 years ago
Omar Roth 5859cd290c Clean up footer and add version 6 years ago
Omar Roth a39b1583da Add administrator preferences 6 years ago
Omar Roth 2fe545e19a Add content element to RSS feeds 6 years ago
Omar Roth ea52c05f05 Fix escaping for video filenames 6 years ago
Omar Roth 7ffc3a0652 Set updated for deleted channels 6 years ago
Omar Roth 51df0860cc Update dependencies 6 years ago
Omar Roth e4f397d049 Fix RSS thumbnails 6 years ago
Omar Roth 0c8dff162d Fix embed extractor for age-gated videos 6 years ago
Omar Roth 4865529fed Create views if they don't exist 6 years ago
Omar Roth 0a404cc9a6 Add fix for missing param in "/videoplayback" 6 years ago
Omar Roth 17b84f32df Fix duration in /api/v1/search 6 years ago
Omar Roth 27cd1e73f3 Fix feed menu on mobile 6 years ago
Omar Roth d6bd893573 Add fix for missing hash keys 6 years ago
Omar Roth 7a7049b25b Escape video titles in download widget 6 years ago
Omar Roth 62ff9605ce Extract format streams from player response 6 years ago
Omar Roth 2847c34f58 Bump version 6 years ago
Omar Roth b5a00f3c47 Remove duplicate information from autogenerated channel page 6 years ago
Omar Roth 09d0972ab4 Pull dash URL from player response 6 years ago
Omar Roth 6b12449be4 Show playlists for auto-generated channels 6 years ago
Omar Roth 955b36913f Add fix for spaces in content-disposition 6 years ago
Omar Roth 7e6cf7b979 Add title text for icons 6 years ago
Omar Roth c5a17cd043 Add subscriptions to feed menu 6 years ago
Omar Roth 1692f7640c Remove JS from download widget 6 years ago
Omar Roth ebcb21dbfe Allow user to save preferences without creating an account 6 years ago
Omar Roth 7f75a7ca0b Add support for changing signature param 6 years ago
Omar Roth bdc9196b4a Escape email when creating feed for Google account 6 years ago
Omar Roth 85854cac77 Add support for custom channel URLs 6 years ago
Omar Roth 5bf3c28436 Add better indicator for livestreams 6 years ago
Omar Roth 40073e7089 Fix sorting options for /feed/private 6 years ago
Omar Roth 9a1f4de323 Convert intervals to integers 6 years ago
Omar Roth 83493237a5 Add support for translating time intervals 6 years ago
Omar Roth f647f7bdea Clear session ids when deleting an account 6 years ago
Omar Roth 6b61eefca7 Add support for Italian locale 6 years ago
Omar Roth f26ad00155 Add /api/v1/channels/playlists/:ucid 6 years ago
Omar Roth a210327318 Add `/api/v1/channels/latest/:ucid` 6 years ago
Omar Roth 58fb74179b Add fix for videos that don't have videoDetails 6 years ago
Omar Roth 92223dbee5 Fix channel RSS feed 6 years ago
Omar Roth 1ceb827a82 Check deleted channels 6 years ago
Omar Roth f85472c0ce Fix extracting for mixes provided by YouTube Music 6 years ago
Omar Roth 4933cd46d7 Fix sorting of subscriptions with 'latest_only' 6 years ago
Omar Roth 421ad21b40 Speed up filtering watched videos from feed 6 years ago
Agustin Ferrari b04a2d4f61 Just a couple of adjustments (#350)
* Added icons tooltips in local/en-US.json, corrected link tooltip to switch to video mode and changed heart symbol by icon in comments
6 years ago
Omar Roth f8467fcda6 Fix locale text for "Show replies" 6 years ago
Omar Roth 27663b10a2 Add minor API fixes 6 years ago
Omar Roth c099a5ad2e Speed up manage_subscriptions 6 years ago
Omar Roth ceea6e4597 Escape subscribe text 6 years ago
Omar Roth f02b5e8c4d Run 'crystal tool format' 6 years ago
Omar Roth f1820ffaf7 Add fix for user array 6 years ago
Omar Roth 1590393fcc Don't try to update channels in subscription manager 6 years ago
Avizini 45cdb81861 fix issues page url (#352)
* fix issues page url
6 years ago
Omar Roth 3646395f1d Store session_ids in separate table 6 years ago
Omar Roth 8bbf351d04 Fix challenge switching for Google login 6 years ago
Omar Roth 27934dad37 Add `region` to `latest_version` 6 years ago
Omar Roth 30e6d29106 Add 'deleted' to channel info 6 years ago
Omar Roth 7a9ef0d664 Add produce_channel_playlists_url 6 years ago
Omar Roth 3cce74d364 Add feed menu to popular, top, and trending 6 years ago
Omar Roth 9698988be3 Filter video streams to avoid duplicates in DASH player 6 years ago
Omar Roth 29af5fc4a6 Prune proxy list 6 years ago
Omar Roth a7b79824de Add support for 'region' in search 6 years ago
Omar Roth d625d0ffbd Use get_video for pulling comment token 6 years ago
Omar Roth 1dcfa90c8e Update version and bump changelog 6 years ago
Omar Roth 8170dad9bd Simplify video extractor 6 years ago
Omar Roth 699f85e773 Fix Google login 6 years ago
Omar Roth 2630dc8dcd Add 'related_videos' to video params 6 years ago
Omar Roth 276662a147 Use IO::Memory for creating continuation tokens 6 years ago
Omar Roth c1ed660ca0 Proxy creator thumbnail for heart container 6 years ago
Omar Roth d0a690c303 Add CORS to API endpoints 6 years ago
Omar Roth a1af27b125
Merge pull request #334 from aaferrari/master
Color change in the links and several improvements in the comments
6 years ago
Omar Roth 9989c8100a Properly escape email when creating view 6 years ago
Agustin Ferrari c0e73e71c5 Merge branch 'master' of https://github.com/omarroth/invidious 6 years ago
Agustin Ferrari b0ba670c91 Comments now show if they were edited and if they received a heart from the uploader (plus additional classes in default.css). The isEdited attribute was also added in the comments API and new strings in en-US.json 6 years ago
Omar Roth d5c9b7dfe8 Only play after error if already playing 6 years ago
Omar Roth c9bc081f8c Respect DEFAULT_USER_PREFERENCES in video params 6 years ago
Omar Roth fbb5df0849 Default to showing recommendations for logged out users 6 years ago
Omar Roth cef061d6fb Fix incorrect default in user preferences 6 years ago
Omar Roth def58ff11f Add interval and timeout for errors in player 6 years ago
Omar Roth 9e73e3b153 Add errorcode for invalid video IDs 6 years ago
Agustin Ferrari e9ea365f2f Add additional parameters in the API comments, highlight the user name in the uploader comments and I finished permalink of the comments. 6 years ago
Agustin Ferrari 55118a6768 Change color to the links and add a couple of improvements in the comments 6 years ago
Omar Roth 1e214aae7c Reload player instead of removing invalid source 6 years ago
Omar Roth ff09a7255a Add handling to remove invalid sources 6 years ago
Omar Roth 26b7200360 Respect playback rate when reloading player 6 years ago
Omar Roth b38a2bbd12 Reload player on error 6 years ago
Omar Roth 097cbcdae3 Update subscribe button immediately 6 years ago
Omar Roth c0fdc28a84 Fix colors and data-url in download widget 6 years ago
Omar Roth 6218078c51 Pull subscribe widget into separate file 6 years ago
Omar Roth a9aae6b36c Add internal redirect for video URLs 6 years ago
Omar Roth 898b768b30 Fallback on ucid for channel search when author contains hyphen 6 years ago
Omar Roth 1f6078cf25 Fix links to invalid genre channels 6 years ago
Omar Roth ba36ab9559 Add 'pretty=1' option to API endpoints 6 years ago
Omar Roth 586c0a0579 Add error message for unavailable endpoint /api/v1/insights/:id 6 years ago
Omar Roth 1af86f6afb Add sleep to popular_videos and top_videos 6 years ago
Omar Roth 952b208a01 Add retry for /videoplaybacl 6 years ago
Omar Roth 4b60f7ddff Add logger to method calls 6 years ago
Omar Roth 75d8c4f5c0 Use logger instead of STDOUT 6 years ago
Omar Roth 1a9057a175 Add fix to download widget for titles with unescaped characters 6 years ago
Omar Roth 0fcfb7b82b Add redirect for legacy '/profile' endpoint 6 years ago
Omar Roth d88f9f3b3e Use params for importing dash sources 6 years ago
Omar Roth fb535ad6bb Add download widget 6 years ago
Omar Roth 15efac520e Stop trying to pull comments after 10 timeouts 6 years ago
Omar Roth 7a6a0f364c Run 'crystal tool format' 6 years ago
Omar Roth e1540390a8 Fix typo in config documentation 6 years ago
Omar Roth 71ba071160 Add documentation to config 6 years ago
Omar Roth af449161ff Add -o option for redirecting output 6 years ago
Omar Roth 633ecb524e Add 'fr' to list of supported locales 6 years ago
Omar Roth a7b6a67615 Use locale for "Only show latest" text 6 years ago
Omar Roth 5cb57fb176 Move 'domain' into config.yml 6 years ago
Omar Roth 95bde7bb8a Add handling for empty continuation 6 years ago
Omar Roth daa2329f8b Add fix for pulling comments from age-gated videos 6 years ago
Omar Roth b23710f89f Fix comments without startTimeSeconds 6 years ago
Omar Roth cf9134416c Remove unnecessary comment 6 years ago
Omar Roth 2425368c3a Bump version 6 years ago
Omar Roth 20c4d213d9 Use config.domain in place of hardcoded value 6 years ago
Omar Roth dfd17bdd88 Improve error message for 500 and add redirect for 404 6 years ago
Omar Roth 0f48d221b4 Fix hlsvp extractor 6 years ago
Omar Roth 8f57388cd3 Fix average rating where likes and dislikes are null 6 years ago
Omar Roth 138a6b1136 Add missing "avg_rating" 6 years ago
Omar Roth c6ec8317ac Use location.assign instead of window.location.replace 6 years ago
Omar Roth 81c2ecc788 Bump version and update CHANGELOG 6 years ago
Omar Roth a16f967085 Add popular, top, trending bar 6 years ago
Omar Roth 7f8349d4b1 Escape function names in signature extractor 6 years ago
Omar Roth 4ae57cb475 Improve playlist description extractor 6 years ago
Omar Roth 2fdf3d24e3 Redirect to home page on empty search 6 years ago
Omar Roth 0832fa9bdb Filter paid videos from RSS and channel list 6 years ago
Omar Roth c2c224b16f Use fibers to try to speed up importing of channels 6 years ago
Omar Roth 7951d4c8aa Add length_seconds to subscription search 6 years ago
Omar Roth 6b4ea53a32 Add sleep time for update_decrypt_function 6 years ago
Omar Roth db7457f135 Add nb_NO to supported locales 6 years ago
Omar Roth f3c9566687 Fix param ordering for fetch_playlist_videos 6 years ago
Omar Roth 382a6b556d Update RSS schema 6 years ago
tor 5ca74a8dca Fixed subscription's xml feed 6 years ago
Omar Roth 388b3cff8b Fix typo in data_control 6 years ago
Omar Roth d06c5306be Update i18n 6 years ago
Omar Roth 7596baf03b Fix translation with non-existent locales 6 years ago
Omar Roth 0feb414a1d Add menu for selecting trending page 6 years ago
Omar Roth 1360d67c11 Show more informative error to users signing in with Google 6 years ago
Omar Roth a160c645c9 Add support for translations 6 years ago
Omar Roth a9a0280b1a Add link to watch history in feed and manager 6 years ago
Omar Roth 7d47b5d4bd Use named params for SearchChannel 6 years ago
Omar Roth d0b30ad977 Don't pass HTTP client in args 6 years ago
Omar Roth 843606db65 Support changing author names 6 years ago
Omar Roth b030149d76 Revert "Use <audio> tag for audio only"
This reverts commit e6bc5bb35d.
6 years ago
Omar Roth 2ef3db334f Update CHANGELOG and bump version 6 years ago
Omar Roth 89439e1775 Add link to '/clear_watch_history' in '/feed/history' 6 years ago
Omar Roth 7fd4c76a59 Try to pull UCID instead of brand name in search results 6 years ago
Omar Roth 4480e9c1ba Don't downcase UCID when searching channels 6 years ago
Omar Roth 6033e8aed1 Add related_channels to /api/v1/channels 6 years ago
Omar Roth 32bd593a8a Remove log statement 6 years ago
Omar Roth 1c49fa3b63 Add timeout for autoplay 6 years ago
Omar Roth 7ab9d741bf Fix autoplay 6 years ago
Omar Roth dcf45d217f Don't cache results when using proxy 6 years ago
Omar Roth 2dfb3e7814 Minor text changes 6 years ago