On Oct 28, 2018, at 03:39, René J.V. Bertin wrote: > Maybe describe how to achieve this on the Recipes page, along with the other sometimes-useful tricks? I don't think we want to publish a recipe on how to include files, because I don't think we want people to do it.