These were accidentally dropped in the migration from the old panel to the new one. Fixes #825
mentioned in merge request !678 (merged)