Via chat on #www I agree that $ is a safer choice. PR updated.