fixing minor scattered problems (#1324)

src/serena/agent.py

@@ -719,7 +719,7 @@ class SerenaAgent:
         if self._language_backend == LanguageBackend.LSP:
             languages_str = ", ".join([lang.value for lang in proj.project_config.languages])
             msg += f"\nProgramming languages: {languages_str}."
-        msg += "File encoding: {proj.project_config.encoding}."
+        msg += f"File encoding: {proj.project_config.encoding}."
 
         include_memories = self._active_tools.contains_tool_class(ReadMemoryTool)
         if include_memories:

src/serena/task_executor.py

@@ -80,7 +80,7 @@ class TaskExecutor:
 
             :param timeout: the maximum time to wait in seconds; if None, use the task's own timeout
                 (which may be None to wait indefinitely)
-            :return: True if the task is done, False if the timeout was reached
+            :return: the result of the task
             """
             return self.future.result(timeout=timeout)
 

src/serena/tools/tools_base.py

@@ -430,7 +430,6 @@ tool_packages = ["serena.tools"]
 @singleton
 class ToolRegistry:
     _deleted_tools: list[str] = [
-        "think_about_collected_information",
         "think_about_collected_information",
         "prepare_for_new_conversation",
         "summarize_changes",