[Feature Request] Add a "View page source" in the "more tools" section of the menu

[alkamine]

Verification

• I have checked upstream at crbug.com and I confirm this is NOT a known issue from Chromium.
• I have checked the issue tracker and I confirm this is NOT a known issue in this project.

Environment

Pixel 10A. GrapheneOS latest version.

Description

I think it would be a useful feature to many people to have a "view page source" option in the More Tools category of the menu. I often used this in another browser to search the page for RSS feeds when they weren't indicated or displayed, or to get links for certain media. I think it would be very useful to many people to have this additional feature.

And before you suggest using the developer tools option, when selected it fails with "Page load failed because the developer UI module (dev_ui) is not installed"

Thank you for your consideration.

[provisionally]

Yes, but still see #138.

when selected it fails with "Page load failed because the developer UI module (dev_ui) is not installed"

I have never experienced this, neither on GrapheneOS nor generic Android.

[alkamine]

Yes, but still see #138.

when selected it fails with "Page load failed because the developer UI module (dev_ui) is not installed"

I have never experienced this, neither on GrapheneOS nor generic Android.

Thank you. I did not know about this feature.

I have. Here's a screencap.

[provisionally]

Surprising. I just tried again and it opens without issue. It is unlikely this matters but I am using the Github release and do not have any Google Store thing installed.

[alkamine]

Surprising. I just tried again and it opens without issue. It is unlikely this matters but I am using the Github release and do not have any Google Store thing installed.

I don't know what to say. It happens to me.