I'm not sure this should be placed in a comment, but rather in the language docs (that order doesn't matter much, and how the compiler works)

@asterite The comment is here for anyone else adding to this file - they shouldn't have to read the docs to know where to place the correct entry.

I don't think I'm qualified to document how the compiler works yet. :)

I agree that the comment is good here and that the change in general is good. It's specific to the compiler, a more general description should go to the language docs at the same time.

@asterite how strong do you feel abou this?

I think it's OK as it helps anyone wanting to add something to prelude. I'd also include a note to remember to add it to docs_main so it appears in the docs. But just that.

Let's merge this. I'll then add a reference to docs_main.