New: Notation search manuscript filtering on front-end