Just a note that github gists seem to have a robust API that Raff might be able to use to create anonymous gists. (I'm assuming they need to be anonymous since we can't know a user has a github account (unless we prompt for that of course)) https://developer.github.com/v3/gists/ An anonymous gist looks like: https://gist.github.com/anonymous/17d01d7dd23399c7953b526a0f2ed6e5 And has the benefits over other services that we're using github so can comment with our accounts, link to issues, lines of code, etc., etc. So my suggestion is that one of the export options is 'save customisation to Github Gist' or 'Make this customisation public' or something use this to do so. -James -- Dr James Cummings, James.Cummings@it.ox.ac.uk Academic IT Services, University of Oxford