format code
#home_fragment: updated RawFragment.ensureCanDelete(User) to keep the home fragment from being deleted by anyone