Added info on the case insensitivity of the remark markers.
Authored by: gumpu 2000-07-07
Parent: [r36]
Child: [r38]