@ifried: Is this basically https://meta.wikimedia.org/wiki/Gadgets/wikisource ? (Asking as I'd prefer to avoid work duplication.)

@Aklapper Thanks for bringing this up! We haven't fleshed out what we may do or what the ticket should covee yet, since this is in response to a community wishlist project that we haven't started yet. I mostly created this ticket as a placeholder/reminder for later. But I'll make a note of the existence of the meta list in the ticket, so that if we do any work, it's not work duplication.