clean-repo-tabs: menuItem is undefined

[cheap-glitch]

Description

onlyShowInDropdown@moz-extension://49f9749d-a211-4327-ae0d-6e28fb7a9a1c/assets/refined-github.js:12081:7
init@moz-extension://49f9749d-a211-4327-ae0d-6e28fb7a9a1c/assets/refined-github.js:12142:27

The feature throws an error on those lines:

refined-github/source/features/clean-repo-tabs.tsx

Lines 43 to 44 in a0381ca

	const menuItem = $(`[data-menu-item$="${id}"]`)!;
	menuItem.removeAttribute('data-menu-item');

How to replicate the issue + URL

1. Open https://github.com/refined-github/sandbox/pull/12/checks
2. Click on the "Files" tab

Extension version

23.12.1

Browser(s) used

Firefox

[fregante]

If it happens only after a navigation, it's probably due to:

• Features are de-inited too late on ajax navigation #6437

I should really look into those AJAX issues