[FileFormats.LP] add a documentation page and refactor some names #5451
| Job | Run time |
|---|---|
| 10m 31s | |
| 11m 36s | |
| 9m 44s | |
| 23m 30s | |
| 8m 49s | |
| 12m 59s | |
| 17m 48s | |
| 20m 26s | |
| 24m 47s | |
| 28m 15s | |
| 19m 31s | |
| 22m 11s | |
| 25m 26s | |
| 27m 9s | |
| 31m 49s | |
| 20m 46s | |
| 22m 33s | |
| 28m 19s | |
| 14m 29s | |
| 17m 26s | |
| 24m 32s | |
| 27m 28s | |
| 15m 9s | |
| 24m 28s | |
| 27m 40s | |
| 8h 37m 21s |