https://9dok.org/document/yr3de9e7-some-thoughts-about-lexical-code-copying.html