I am currently using a jekyll plugin to construct the links onto play. This prohibits us from doing the rendering directly in GitHub Pages. It'd be nice to solve this another way. One thought that I had was writing some JavaScript -- when you click on a link that should lead to play, it in fact runs some JS. This JS goes to fetch the Rust file from the server, applies the minimal transformations, and then redirects to the appropriate play URL (in another window, of course).
I am currently using a jekyll plugin to construct the links onto play. This prohibits us from doing the rendering directly in GitHub Pages. It'd be nice to solve this another way. One thought that I had was writing some JavaScript -- when you click on a link that should lead to play, it in fact runs some JS. This JS goes to fetch the Rust file from the server, applies the minimal transformations, and then redirects to the appropriate play URL (in another window, of course).