lifetime: remove note about syntax highlighting