Demangled Rust identifiers under the `legacy` name mangling scheme rely
on a hash to disambiguate items with the same name, such as different
monomorphisations of the same function or different closures’
`call_once` methods.
In the `v0` mangling scheme, this is no longer a problem. However,
configuring the demangler to show hashes in `legacy` names will include
crate-id hashes in `v0` names, which are [mostly
unneeded](https://rust-lang.github.io/rfcs/2603-rust-symbol-name-mangling-v0.html#appendix-a---suggested-demangling).
This PR introduces a new checkbox *Options...* → *Verbose demangling*
that lets the user select if they want to include disambiguating hashes
in demangled identifiers.
This checkbox is only shown for compilers that support verbose
demangling, and deactivated when the *Demangle identifiers* checkbox is
unchecked.
Resolves#1754.
Resolves#6255.
* hello world again
* alt texts for sponsor icons
* lintfixes
* moved noscript alongside normal views and things
* language listitems
* offer link to noscript version when needed
* filter fixes and add execution output to text output
* reuse more things, add special css, support filters and execution to noscript
* bugfix
* bugfixes
* add icons because why not
* main sponsor urls
* support noscript z links
* start of better mobile view in noscript mode
* move files to noscript folder, fixes
* try to run script in mobile
* script works now
* refactoring
* scale textarea when theres css
* fix sponsorlink
* hide hidden compilers
* duplicate change from trunk
