`data` not always highlighted correctly

[ajrouvoet]

Reporting the following highlighting error in a diff on Github:

where data should be orange.

[andreasabel]

This regex should fire:

agda-github-syntax-highlighting/Agda.yml

Lines 33 to 39 in ba7aef4

	- # Names of datatypes/records/modules/constructors
	match: '\b(data|record|module|constructor|open *import|open|import)[[:space:]]+([^;\(\){}@"[:space:]]+)'
	captures:
	'1':
	name: keyword.other.agda
	'2':
	name: entity.name.type.agda

Not sure why it doesn't. (The open *import looks a bit unusual.)
It seems that instead this one fires:

agda-github-syntax-highlighting/Agda.yml

Lines 49 to 58 in ba7aef4

	- ### Type declarations
	# In type declarations like "a : Set" or "a b : Set", we want to highlight the "a" and "b".
	# The regexp has to start from the beginning of the line (as we do not want to highlight "a" in "B : (a : A) -> Set", for example),
	# therefore we also have to match possible keywords at the beginning like "postulate a : Set".
	match: '^[[:space:]]*(((abstract|instance|macro|pattern|postulate|primitive|private|syntax|variable|where|let)[[:space:]]+)*)((([^;\(\){}@"[:space:]]+)[[:space:]]+)+)(?=:)'
	captures:
	'1':
	name: keyword.other.agda
	'4':
	name: entity.name.agda