v1.16

Changes

• Extend file edit options in GitHub to include gitpod (#64)
• Add missing margin when viewing a file in GitHub #10301 (#63)

Credits

Thanks to @kunalchhabra37 for helping! 🍊