Remove library view
Check if current library view that has been hidden from the UI in #3946 (closed) can be removed in favor of the ReUse library (#4125 (closed)).
Libraries are currently used to encode safety case patterns.
Edited by Simon Barner