Mention tap-highlight in documentation