Make x-r-whatever-style hyperlinks configurable
#709
| Job | Run time |
|---|---|
| 10m 48s | |
| 10m 48s |
x-r-whatever-style hyperlinks configurable
#709
| Job | Run time |
|---|---|
| 10m 48s | |
| 10m 48s |