Re: #4920: name rules at dl.fp.o/alt/stage