[client-extension] Fit Mizar Mizar View & Data Module + keeping selections when reloading data
View differences
[client-extension] Fit Mizar Mizar View & Data Module + keeping selections when reloading data