coding style: doc: remove empty lines at end of text files