A library note consists of a (short) tag and a (long) note.
Environment extension supporting library_note.
library_note "some tag" /--
... some explanation ...
creates a new "library note", which can then be cross-referenced using
-- See note [some tag]