Yet one fix related to case-sensitive search in the Console panel