Add documentation for string formats; fix at-identifier format
#787
| Job | Run time |
|---|---|
| 1m 16s | |
| 53s | |
| 1m 0s | |
| 34s | |
| 26s | |
| 36s | |
| 51s | |
| 54s | |
| 55s | |
| 48s | |
| 40s | |
| 53s | |
| 1m 24s | |
| 1m 49s | |
| 1m 10s | |
| 1m 34s | |
| 1m 37s | |
| 2m 53s | |
| 20m 13s |