Some bug fixes:
* the timestamp matcher recognizes the TIME-NUMOFFSET
* the SD-ELEMENTs are also highlighted