Tap eval to proceed cursor
Mark evaluated part as red (still doesn't sync with Coq internal)