Iain Murray

The PDF.js widget places the rendered pdf page in the middle of the browser window, but isn't aware of the hypothesis sidebar. If instead the page was placed as far...

Issue: Chapter 7, "Bad COP" section

5

There is an issue on chapter 07, in the "Bad COP" Section: > The issue is in estimating the COP part. It will be biased even under random assignment. >...

Redirect rules aren't configurable

2

I've given the extension a pretty generic name, with the intention that it could be used by various people with custom redirect rules. However, the only current mechanism to edit...

Make version that works with Manifest v3

2

Google are going to force Manifest v2 extensions like this one to migrate to v3 at some point (maybe in 2022?). Without updating how the extension works, it won't work...

[Allen.YL Lee](https://twitter.com/allenyllee) points out that a bookmarklet could be used to escape from a PDF after the fact, and [provides an example](https://gist.github.com/allenyllee/0c90341680459203df6453b5d60d28f2). I could derive a bookmarklet from the `RULES`...

### Steps to reproduce the problem Go to https://mastodon.social/web/@[email protected] ### Expected behaviour Redirect to https://mastodon.social/@[email protected] ### Actual behaviour Instead everything from the first `.` after `/web/` is discarded, and we...