Fix dev version 8.4.1

Fix dev version 8.4.1: a task in repo2rlenv-pr-diff (Harbor dataset). Title: Fix dev version 8.4.1

The task

**Title:** Fix dev version 8.4.1

Part of FineEnvs/repo2rlenv-pr-diff.