:)
I am going to keep this in the freezer unless people start specifically asking for it.
An EKF becomes useful once you have other sensors to fuse, so it's not immediately useful right now unless vexu teams want to buy an IMU. I'm not against adding...
I was hoping @theol0403 could comment but I don't have any opinions on implementation details at this time. I haven't touched this code in a while. Why don't you start...
We have found the gyro to be less reliable than encoder wheels. Why do you say your encoders are unreliable? Do you have them mounted on unpowered wheels?
As I had said before, I prefer the first option. Others are welcome to share their opinions.
Indeed I could, though I disagree that the burden should be shifted to the user for such high-level functions like `Pkg.instantiate()` and `Pkg.update()`.
I also experience this issue. It occurs when generating the plots in a headless environment. Generating them in an environment with a head works fine.
I get this image: 
Plots version `1.5.0`. I don't have GR installed directly but it is in the manifest at version `0.50.1`. I bet you can't reproduce it because you are opening a terminal...
The version of GR in the `Manifest.toml` file is `0.50.1`. For some reason, the version of `Plots.GR` is `0.50.0`. ``` julia> ENV["GRDIR"] "/home/salmon/.julia/packages/GR/Atztx/src/../deps/gr" ```