Am Dienstag, den 27.05.2014, 05:40 +0530 schrieb Faheem Mitha: > Ok, if the paragraph no longer applies, then removing it is clearly the > correct thing to do. Are you planning to do so for the next Debian > release? It's changed in GIT and will be part of the next upload. Thank you again, Fabian