Repository to document tips and tricks we learn on how to use certain tools.
NOTE: In a past life, this repo used a different remote Git management provider, UAB Gitlab. It was migrated to Github in June 2023, and the Gitlab version has been archived.