Document pragmatics of why gdb_assert() is lowercase.