Misc documentation

This is a wiki for storing various bits of information that either don't fit the documentation or I am too lazy to put them there.

1. Gitlab CI Failures
2. Quest