Remove the "to do" in the header

This is recorded as a proper GitHub issue now.