Issue #12: add files that were previously blocked by .gitignore