Update instructions (human)

HUMAN.md

@@ -3,12 +3,14 @@ This document describes which files are written fully by humans, which had human
 
 ## Fully Human
 The following files were written completely by humans:
-- HUMAN.md
-- README.md
+- `HUMAN.md`
+- `README.md`
 - Everything in `vendor/`. While we don't actually know if it was written by humans, certainly the AI used for this project has not touched it.
 
 ## Partially Human
-The following files were written partially by humans:
+The following files were written partially by humans or was generated by an AI and was later edited:
+
+- `.devcontainer/Dockerfile`
 
 ## Fully AI
 Any file not in the above two categories were completely written by an AI without a human manually editing the file afterwards.

README.md

@@ -32,7 +32,7 @@ The source code uses the following directory structure:
 
 # Task list
 An AI implementing this operating system should implement features in this order.
-After each feature, it should create a new Git commit.
+After each feature, it should create a new Git commit and push the commit.
 The git commit should describe what is done and why certain choices were made.
 The title of the commit should always end with (AI), to indicate that it was written by an AI.