[mahalex]

“Notes” is short for “lecture notes” and has nothing to do with size.

[madcaptenor]

The current version is more "textbook" than "notes", but like many textbooks it originated as lecture notes because no sane person would sit down and write a textbook.