Clarify use of staging server for `devel`