"ridge" 5 "RV-6SDL" RIDGE 3 ["WORLD COORD", "JOINT COORD"] ("DejaVu Sans Mono",16) "black" "yellow" "genserkins-button" "World Coord" 3 "identity-button" "Joint Coord" 3 "ridge" 5 "Vismach" RIDGE 3 "vismach-clear" "Clear Path" 3