fix index.html: steal tinydocs fetch code for marked
#12
| Job | Run time |
|---|---|
| 11s | |
| 11s |
index.html: steal tinydocs fetch code for marked
#12
| Job | Run time |
|---|---|
| 11s | |
| 11s |