I know. The problem here is twofold. First, LaTeX's listings mode does not compose well with the other annotations. Second, when we'll move to runnable code snippets (as I hope we'll soon do) all adornments will create problems.