issue #865: added notes about Debian sid