The shopping list is now grouped by ticked and unticked items, so this is probably not needed anymore.