See FIXED_6339 in lino_prima/lib/school/ui.py : Inserting, deleting and modifying a course should be permitted only to PrimaStaff.

I'm wondering whether we should deprecate hide_editing because it is does not hide the insert action. Actually neither hide_editing nor the new get_delete_action is elegant. View permissions should have a central place for customizing them, including locally.