chiark / gitweb /
linda has been removed. Remove section A.2.2. Closes: #483242.