What do we prefer? A short list as above, or more details as below? If as below, then the shorter version of the longer?
Just so you know, the list above is generated automatically (and so I prefer it), the list below has to be updated manually, which means more work has to be done. <\/mark><\/p>\n\n\n\n