doc: consistent use of tech, and a few minor other improvements
#47
| Job | Run time |
|---|---|
| 2m 17s | |
| 2m 17s |
tech, and a few minor other improvements
#47
| Job | Run time |
|---|---|
| 2m 17s | |
| 2m 17s |