Comment by teddyh

Is there a downloadable dump available, in case I or anyone else don’t want to reveal exactly what symbols we’re typing into our (possibly confidential) documents?