Trying out the sometimes-recommended https github routes