Constant is still named pros instead of vexide and affects docs link

[mrtomblue]

Problem Description

When you hover or click on the API Documentation button on the home page the link is docs.rs/pros instead of docs.rs/vexide. The actual "typo" seems to be the variable in constants.ts which is used in index.astro

website/src/constants.ts

Line 1 in acaf65b

export const CRATE_NAME = `pros`;

website/src/pages/index.astro

Line 39 in acaf65b

href={`https://docs.rs/${CRATE_NAME}`}