v0.7.1 — the checklist line gets the full width

The checklist headline now takes the whole header width instead of being capped at 62 percent, so a long todo does not truncate while the counts stay visible. Client-only: refresh the page.