I just noted that another feature present in L3 is missing in L4 (besides a working morphological search). This is the BDAG search. It is no longer possible to search the differing materials included in the entries. In L3 we could search such areas as "All Text", "Extended Definition", "Formal Equivalent."