CrawfordJF
Joined 8 years ago
Joined 8 years ago
It indexes the site and generates search functionality in JavaScript (the index is just a static JSON file) that can be uploaded wherever JS/HTML/etc. files can be uploaded. I thought it might be useful for people with sites on GitHub pages or similar who don't want to use one of the major search engine company widgets.
Also my back of the envelope calculations were that the simple search index for a small–medium site won't be that big.
I am surprised that he actually complied with this order, especially as the article says the documents were under a US court order restricting their dissemination/publication, but maybe what happened is the Serjeant at Arms appeared with these scary warnings, his lawyers didn't know quite what to do, so they just did what they were told even if they probably didn't have to.
It will be interesting to see what the US court makes of its order being broken due to the order of a foreign legislature.
-- A source on the status of these powers: https://www.bbc.co.uk/news/uk-politics-18875266
I looked for a while to find something similar. I'm sure it must already be implemented out there, but to answer the question in the original post about why build something, I couldn't find an easily downloadable "tool" for doing it when I looked (2019) and it was simple enough to be "fun".