note possible abandonment of sourcehighlight in favour of sourcecode