options: show --HEAD and --devel when appropriate

Closes #24680.