Debian mourns the loss of Frans Pop