Adding two files which appear to be under doc-source-modules