Deploying Astro-integrated version on Aug 20 🚀

[Buzzpy]

Hello everyone!
After some greaat contributions from our contributors, we have integrated the Astro framework for the Dev Encyclopedia 🚀

It still has many changes to come (features and enhancements as in issues #15 , #3, and more). However, since the original version lacks many essential terms and needs some feature enhancements, I decided to merge the Astro-integrated version to our main branch tomorrow (Aug 20th). You can see the website here, for now: astro-devpedia.pages.dev

Also, I purchased the domain devpedia.dev for the project, which was the only affordable and good domain available at the moment (devpedia.com wasn't available, and devpedia.tech was expensive).

Thanks a bunch and a huge kudos to the contributors! 🍻

(As we all know, autocomplete searches, JSON files or even Astro integration wouldn't be here if it was just me)