Do not remove `public/system` from the repository when it exists.

Warn that maintenance pages may not work.