Improvements related to OPL and  library browser 1

Updating Tags.pm is probably the most important part (they affect OPL-update).

The other parts improve library browser 1 (for feature requests which were easy to satisfy).