Thanks for your kind message and a good documentation is always welcome!
But I guess it is no bug after all. I am not using ยดs plugin and I am pretty sure that our Steam integration works fine. The only issue left is, that Steam seems not to support non-seamless travel and [we are already working on finding a way for this matter][1].