Docs filenames refactored and some tiny adjustments