More documentation, and One .gitignore change

Sorry to lump these; let me know if development must always be separate pulls from docs.

Added a trivial change to .gitignore where it failed to ignore a generated file.

Worked on DEVELOP.md document.

Have a great day!

-- Charles