* Linux docs overhaul * push updated lock file and formatting fixes * Linux docs overhaul --------- Co-authored-by: rcarteraz <robert.l.carter2@gmail.com>