I've noticed a handful of false positives in guix lint checking descriptions and synopsis, and tracked several down to the use of @code{} and similar. The attached patch partly addresses this, though could definitely be written better (e.g. handling more cases, also stripping out the relevent "}", etc.) This fixes about 11 out of 544 overall guix lint issues with descriptions and synopsis. Had expected it to fix more issues, but I think stripping the "@code{" reveals issues in other checks that were previously hidden.... maybe. I will reiterate that this leaves a lot of room for improvement. :) live well, vagrant