Documentation update: moved the considerations on filename extension out of
tree507c5e548096480f478b2d524d2cca7da01e99e4
drwxr-xr-x - rstdocs
drwxr-xr-x - src
drwxr-xr-x - test