Experimenting with documentation highlighting