use WolfProblemSolver for highlight files out of editor
@date replaced by @since