- Added notes
- Fixed glitch in benchmark.py wrt RE matching