because it has marginnote, which is used here (thanks fto #40). While I am at it, I should probably also fold Florian's changes into it.