Dangling references

Summary

ita pointed out on discord that we have some dangling references:

• https://discord.com/channels/820452222382112799/1257160543580590141/1300849519700869230

See here:

• user/installation/developer.rst#L206

Not sure what was meant to be there or if it can be deleted.

Steps to reproduce

Pre-set options