Text this: Bayesian Pulsar Timing and Noise Analysis with Vela.jl: An Overview