GitLab

[docs] Improve docs: fix consistency of dots in C API and add notes about new ``time-costs`` Python-package build option (#5554)