Sorry for an off-topic post.
Surprisingly, google search does not show the availability of vgrind for
Ubuntu. The replacement I currently use is
https://www.lerup.com/printfile/
Would appreciate any suggestions for getting vgrind or another
substitute for pretty-printing on Ubuntu (20.04) or Windows.