Hello,
when using the search features of enrol/manual/manage.php i've noted that the options are stored as user preferences and it is not said anywhere so you think that filters you apply on one course was not applied to the other course you are now, but they are.
What do you think about changing this behaviour to not store this preferences unless is set on profile page?
Kind regards,
Daniel