Finished workstreams keep their number

In a project, every workstream card shows its number from the plan (W1, W2 …). Once a workstream was done, its card shrank to a small chip and the number disappeared with it, so finished cards no longer matched the plan at a glance. Finished cards now keep their number in front of their title, so it is clear which workstreams are done and which are left.